top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
AlMoDEP : proceedings of the first International Workshop on Algorithms and Models for Distributed Event Processing : Rome, Italy, September 19, 2011
AlMoDEP : proceedings of the first International Workshop on Algorithms and Models for Distributed Event Processing : Rome, Italy, September 19, 2011
Autore Laura Luigi
Pubbl/distr/stampa [Place of publication not identified], : ACM, 2011
Descrizione fisica 1 online resource (48 pages)
Collana ACM Other conferences
Soggetto topico Engineering & Applied Sciences
Computer Science
ISBN 1-4503-0922-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti Proceedings of the first International Workshop on Algorithms and Models for Distributed Event Processing
AlMoDEP '11 1st International Workshop on Algorithms and Models for Distributed Event Processing, Rome, Italy-September 19, 2011
Record Nr. UNINA-9910376531103321
Laura Luigi  
[Place of publication not identified], : ACM, 2011
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07 [[electronic resource] ] : Rome, Italy, 3-5 October 2007 / / editors, Giuseppe F. Italiano, Eugenio Moggi, Luigi Laura
Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07 [[electronic resource] ] : Rome, Italy, 3-5 October 2007 / / editors, Giuseppe F. Italiano, Eugenio Moggi, Luigi Laura
Pubbl/distr/stampa Singapore ; ; Hackensack, NJ, : World Scientific, c2007
Descrizione fisica xiii, 199 p. : ill
Disciplina 004
Altri autori (Persone) ItalianoGiuseppe F
MoggiEugenio
LauraLuigi
Soggetto topico Computer science
Computers
Soggetto genere / forma Electronic books.
ISBN 1-281-91164-X
9786611911645
981-277-099-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto pt. A. Invited talks. Clairvoyance and laziness for on line travelling agents / G. Ausiello. Proving the range property for Lambda theories and models / H. Barendregt. Can a proper Lambda-model have an R.E. equational theory? / C. Berline. Session centered calculi for service oriented computing / R. De Nicola. Symmetries in foundations / G. Longo -- pt. B. Regular contributions. On the approximability of dense Steiner tree problems / M. Hauptmann. Weak pattern matching in colored graphs: minimizing the number of connected components / R. Dondi, G. Fertin, and S. Vialette. Weak Markovian bisimilarity: abstracting from prioritized/weighted internal immediate actions / M. Bernardo and A. Aldini. Analyzing non-interference with respect to classes / D. Zanardini. Computing minimum directed feedback vertex set in O+(1.9977n) / I. Razgon. Seeing the trees and their branches in the network is hard / I.A. Kanj ... [et al.]. Modeling fuzzy behaviours in concurrent systems / L. D'Errico and M. Loreti. A formal framework for compositional compilation / D. Ancona and E. Zucca. Type inference for polymorphic mehods in Java-like languages / D. Ancona, G. Lagorio and E. Zucca. Sorting streamed multisets / T. Gagie. An analysis of a simple algorithm for random derangements / D. Merlini, R. Sprugnoli, and M. C. Verri. The measure hypothesis and efficiency of polynomial time approximation schemes / M. Hauptmann. Dichotomy results for fixed point counting in boolean dynamical systems / S. Kosub and C. M. Homan. Definable sets in weak Presburger arithmetic / C. Choffrut and A. Frigeri. On definite proofs of knowledge in the bare public-key model / G. Di Crescenzo and I. Visconti.
Record Nr. UNINA-9910450954403321
Singapore ; ; Hackensack, NJ, : World Scientific, c2007
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07 [[electronic resource] ] : Rome, Italy, 3-5 October 2007 / / editors, Giuseppe F. Italiano, Eugenio Moggi, Luigi Laura
Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07 [[electronic resource] ] : Rome, Italy, 3-5 October 2007 / / editors, Giuseppe F. Italiano, Eugenio Moggi, Luigi Laura
Pubbl/distr/stampa Singapore ; ; Hackensack, NJ, : World Scientific, c2007
Descrizione fisica xiii, 199 p. : ill
Disciplina 004
Altri autori (Persone) ItalianoGiuseppe F
MoggiEugenio
LauraLuigi
Soggetto topico Computer science
Computers
ISBN 1-281-91164-X
9786611911645
981-277-099-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto pt. A. Invited talks. Clairvoyance and laziness for on line travelling agents / G. Ausiello. Proving the range property for Lambda theories and models / H. Barendregt. Can a proper Lambda-model have an R.E. equational theory? / C. Berline. Session centered calculi for service oriented computing / R. De Nicola. Symmetries in foundations / G. Longo -- pt. B. Regular contributions. On the approximability of dense Steiner tree problems / M. Hauptmann. Weak pattern matching in colored graphs: minimizing the number of connected components / R. Dondi, G. Fertin, and S. Vialette. Weak Markovian bisimilarity: abstracting from prioritized/weighted internal immediate actions / M. Bernardo and A. Aldini. Analyzing non-interference with respect to classes / D. Zanardini. Computing minimum directed feedback vertex set in O+(1.9977n) / I. Razgon. Seeing the trees and their branches in the network is hard / I.A. Kanj ... [et al.]. Modeling fuzzy behaviours in concurrent systems / L. D'Errico and M. Loreti. A formal framework for compositional compilation / D. Ancona and E. Zucca. Type inference for polymorphic mehods in Java-like languages / D. Ancona, G. Lagorio and E. Zucca. Sorting streamed multisets / T. Gagie. An analysis of a simple algorithm for random derangements / D. Merlini, R. Sprugnoli, and M. C. Verri. The measure hypothesis and efficiency of polynomial time approximation schemes / M. Hauptmann. Dichotomy results for fixed point counting in boolean dynamical systems / S. Kosub and C. M. Homan. Definable sets in weak Presburger arithmetic / C. Choffrut and A. Frigeri. On definite proofs of knowledge in the bare public-key model / G. Di Crescenzo and I. Visconti.
Record Nr. UNINA-9910777322203321
Singapore ; ; Hackensack, NJ, : World Scientific, c2007
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07 : Rome, Italy, 3-5 October 2007 / / editors, Giuseppe F. Italiano, Eugenio Moggi, Luigi Laura
Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07 : Rome, Italy, 3-5 October 2007 / / editors, Giuseppe F. Italiano, Eugenio Moggi, Luigi Laura
Edizione [1st ed.]
Pubbl/distr/stampa Singapore ; ; Hackensack, NJ, : World Scientific, c2007
Descrizione fisica xiii, 199 p. : ill
Disciplina 004
Altri autori (Persone) ItalianoGiuseppe F
MoggiEugenio
LauraLuigi
Soggetto topico Computer science
Computers
ISBN 1-281-91164-X
9786611911645
981-277-099-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto pt. A. Invited talks. Clairvoyance and laziness for on line travelling agents / G. Ausiello. Proving the range property for Lambda theories and models / H. Barendregt. Can a proper Lambda-model have an R.E. equational theory? / C. Berline. Session centered calculi for service oriented computing / R. De Nicola. Symmetries in foundations / G. Longo -- pt. B. Regular contributions. On the approximability of dense Steiner tree problems / M. Hauptmann. Weak pattern matching in colored graphs: minimizing the number of connected components / R. Dondi, G. Fertin, and S. Vialette. Weak Markovian bisimilarity: abstracting from prioritized/weighted internal immediate actions / M. Bernardo and A. Aldini. Analyzing non-interference with respect to classes / D. Zanardini. Computing minimum directed feedback vertex set in O+(1.9977n) / I. Razgon. Seeing the trees and their branches in the network is hard / I.A. Kanj ... [et al.]. Modeling fuzzy behaviours in concurrent systems / L. D'Errico and M. Loreti. A formal framework for compositional compilation / D. Ancona and E. Zucca. Type inference for polymorphic mehods in Java-like languages / D. Ancona, G. Lagorio and E. Zucca. Sorting streamed multisets / T. Gagie. An analysis of a simple algorithm for random derangements / D. Merlini, R. Sprugnoli, and M. C. Verri. The measure hypothesis and efficiency of polynomial time approximation schemes / M. Hauptmann. Dichotomy results for fixed point counting in boolean dynamical systems / S. Kosub and C. M. Homan. Definable sets in weak Presburger arithmetic / C. Choffrut and A. Frigeri. On definite proofs of knowledge in the bare public-key model / G. Di Crescenzo and I. Visconti.
Record Nr. UNINA-9910822231003321
Singapore ; ; Hackensack, NJ, : World Scientific, c2007
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui