Items where Research Area is "Computer Science and Applications" and Year is 2007

Article

Alessio, Alessandro and Lazar, Mircea and Bemporad, Alberto and Heemels, W.P.M.H. Squaring the circle: an algorithm for generating polyhedral invariant sets from ellipsoidal ones. Automatica, 43 (12). pp. 2096-2103. ISSN 0005-1098 (2007)

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Loreti, Michele Implementing a distributed mobile calculus using the IMC framework. Electronic Notes in Theoretical Computer Science, 181. pp. 63-79. ISSN 1571-0661 (2007)

Buscemi, Maria Grazia and Montanari, Ugo A Compositional Coalgebraic Model of Fusion Calculus. Journal of Logic and Algebraic Programming, 72 (1). pp. 78-97. ISSN 1567-8326 (2007)

Caires, Luis and Torres Vieira, Hugo Extensionality of spatial observations in distributed systems. Electronic Notes in Theoretical Computer Science, 175 (3). 131 - 149. ISSN 1571-0661 (2007)

Cardinali, A. and Morini, Lorenzo and Castaldo, C. and Cesario, R. and Zonca, F. Analysis of the validity of the asymptotic techniques in the lower hybrid wave equation solution for reactor applications. Physics of plasmas, 14. p. 112506. ISSN 1070-664X (2007)

Carpinteri, Alberto and Lacidogna, Giuseppe and Paggi, Marco Acoustic emission monitoring and numerical modeling of FRP delamination in RC beams with non-rectangular cross-section. Materials and Structures, 40 (6). pp. 553-566. ISSN 1359-5997 (2007)

Carpinteri, Alberto and Paggi, Marco Analytical study of the singularities arising at multi-material interfaces in 2D linear elastic problems. Engineering Fracture Mechanics, 74 (1–2). 59 - 74. ISSN 0013-7944 (2007)

Carpinteri, Alberto and Paggi, Marco Are the Paris’ law parameters dependent on each other? Frattura ed Integrità Strutturale, 2. pp. 10-16. ISSN 1971-8993 (2007)

Carpinteri, Alberto and Paggi, Marco Numerical analysis of fracture mechanisms and failure modes in bi-layered structural components. Finite Elements in Analysis and Design, 43 (11–12). 941 - 953. ISSN 0168-874X (2007)

Carpinteri, Alberto and Paggi, Marco Self-similarity and crack growth instability in the correlation between the Paris’ constants. Engineering Fracture Mechanics, 74 (7). 1041 - 1053. ISSN 0013-7944 (2007)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Basic observables for a calculus for global computing. Information and Computation, 205 (10). pp. 1491-1525. ISSN 0890-5401 (2007)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Global computing in a dynamic network of tuple spaces. Science of Computer Programming, 64 (2). pp. 187-204. ISSN 0167-6423 (2007)

De Nicola, Rocco and Katoen, Pieter and Latella, Diego and Loreti, Michele and Massink, Mieke Model checking mobile stochastic logic. Theoretical Computer Science, 382 (1). pp. 42-70. ISSN 0304-3975 (2007)

De Nicola, Rocco and Loreti, Michele Multi labelled transition systems: a semantic framework for nominal calculi. Electronic Notes in Theoretical Computer Science, 169. pp. 133-146. ISSN 1571-0661 (2007)

Di Cairano, Stefano and Bemporad, Alberto and Kolmanovsky, Ilya and Hrovat, Davor Model predictive control of magnetically actuated mass spring dampers for automotive applications. International Journal of Control , 80 (11). pp. 1701-1716. ISSN 0020-7179 (2007)

Eom, Young-Ho and Jeong, Hawoong and Orland, Henri and Yi, Juyeon Are better conductors more rigid? EPL (Europhysics Letters), 76 (2). pp. 325-331. ISSN 0295-5075 (2007)

Pannocchia, Gabriele and Bemporad, Alberto Combined design of disturbance model and observer for offset-free model predictive control. IEEE Transactions on Automatic Control, 52 (6). pp. 1048-1053. ISSN 0018-9286 (2007)

Ricciardi, Emiliano and Vanello, Nicola and Sani, Lorenzo and Gentili, Claudio and Scilingo, Enzo Pasquale and Landini, Luigi and Guazzelli, Mario and Bicchi, Antonio and Haxby, James V. and Pietrini, Pietro The Effect of Visual Experience on the Development of Functional Architecture in hMT+. Cerebral Cortex, 17 (12). pp. 2933-2939. ISSN 1047-3211 (2007)

Silvestri, Davide and Cristallini, Caterina and Gagliardi, Mariacristina and Guadagni, M. and Barbani, Niccoletta and Giusti, Paolo Combined drug release from biodegradable bi-layer coating for endovascular stents. Journal of Applied Biomaterials & Biomechanics, 5 (3). p. 209. ISSN 1722-6899 (2007)

Spina, Salvatore and Murrell, Jill R. and Huey, Edward D. and Wassermann, Eric M. and Pietrini, Pietro and Baraibar, M.A. and Barbeito, A.G. and Troncoso, J.C. and Vidal, R. and Ghetti, Bernardino and Grafman, Jordan Clinicopathologic features of frontotemporal dementia with Progranulin sequence variation. Neurology, 68 (11). pp. 820-827. ISSN 0028-3878 (2007)

Spina, Salvatore and Murrell, Jill R. and Huey, Edward D. and Wassermann, Eric M. and Pietrini, Pietro and Grafman, Jordan and Ghetti, Bernardino Corticobasal Syndrome Associated With the A9D Progranulin Mutation. Journal of Neuropathology and Experimental Neurology, 66 (10). pp. 892-900. ISSN 0022-3069 (2007)

Worthington, Everett L. and Van Oyen Witvliet, Charlotte and Pietrini, Pietro and Miller, Andrea J. Forgiveness, health, and well-being: a review of evidence for emotional versus decisional forgiveness, dispositional forgivingness, and reduced unforgiveness. Journal of behavioral medicine, 30 (4). pp. 291-302. ISSN 0160-7715 (2007)

Zavarise, Giorgio and Borri Brunetto, Mauro and Paggi, Marco On the resolution dependence of micromechanical contact models. Wear , 262 (1–2). 42 - 54. ISSN 0043-1648 (2007)

Book Section

Alessio, Alessandro and Bemporad, Alberto Decentralized model predictive control of constrained linear systems. In: Proceedings of European Control Conference. EUCA, pp. 2813-2818. ISBN 978-960-89028-5-5 (2007)

Bacigalupo, Andrea and Gambarotta, Luigi Effetti della crescita strutturale sull’equilibrio e deformazione di elementi murari piani. In: AIMETA 2007 Atti del XVIII Congresso dell’Associazione Italiana di Meccanica Teorica e Applicata. Starrylink, pp. 465-474. ISBN 978-88-89720-69-1 (2007)

Barbera, Mario and Lombardo, Alfio and Schembra, Giovanni and Tribastone, Mirco An analytical model of a BitTorrent peer. In: Proceedings of the 15th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing, 2007. PDP '07. IEEE, pp. 482-489. ISBN 0-7695-2784-1 (2007)

Bemporad, Alberto and Di Cairano, Stefano and Henriksson, Erik and Johansson, Karl Henrik Hybrid model predictive control based on wireless sensor feedback: an experimental study. In: Decision and Control. IEEE, 12th-14th December 2007, 5062-5067 . ISBN 978-1-4244-1497-0 (2007)

Bemporad, Alberto and Di Cairano, Stefano and Kolmanovsky, Ilya and Hrovat, Davor Hybrid modeling and control of a multibody magnetic actuator for automotive applications. In: Decision and Control. IEEE, 12th-14th December 2007, 5270-5275 . ISBN 978-1-4244-1497-0 (2007)

Buscemi, Maria Grazia and Ferrari, Laura and Moiso, Corrado and Montanari, Ugo Constraint-Based Policy Negotiation and Enforcement for Telco Services. In: Proceedings of the 1st IEEE & IFIP Theoretical Aspects of Software Engineering Conference (TASE’07). IEEE Computer Society, pp. 463-472. ISBN 0-7695-2856-2 (2007)

Buscemi, Maria Grazia and Montanari, Ugo CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. In: Proceedings of the 16th European Symposium on Programming (ESOP’07). Lecture Notes in Computer Science, 4421 . Springer, pp. 18-32. ISBN 978-3-540-71314-2 (2007)

Carpinteri, Alberto and Corrado, Mauro and Paggi, Marco and Mancini, Giuseppe Cohesive versus overlapping crack model for a size effect analysis of RC elements in bending. In: Design, Assessment and Retrofitting of RC Structures. Taylor & Francis, pp. 655-663. ISBN 9780415446167 (2007)

Carpinteri, Alberto and Paggi, Marco Are the Paris' law parameters dependent on each other? In: IGF 19: Atti del XIX convegno nazionale del Gruppo Italiano Frattura. Gruppo Italiano Frattura, pp. 217-224. ISBN 9788895940199 (2007)

Carpinteri, Alberto and Paggi, Marco and Zavarise, Giorgio A Coupled Contact and Decohesion Analysis of Laminated Beams. In: IUTAM Symposium on Computational Methods in Contact Mechanics. IUTAM Bookseries, 3 . Springer, pp. 147-156. ISBN 978-1-4020-6405-0 (2007)

Clark, Allan and Gilmore, Stephen and Hillston, Jane and Tribastone, Mirco Stochastic process algebras. In: Formal Methods for Performance Evaluation. Lecture Notes in Computer Science (4486). Springer, pp. 132-179. ISBN 78-3-540-72522-0 (2007)

De Nicola, Rocco Session Centered Calculi for Service Oriented Computing. In: THEORETICAL COMPUTER SCIENCE Proceedings of the 10th Italian Conference on (ICTCS '07I. World Scientific, pp. 6-10. ISBN 981-277-098-4 (2007)

Di Cairano, Stefano and Bemporad, Alberto and Caldelli, Angelita Moving target detection and tracking in wireless sensor networks. In: Proceedings of European Control Conference. EUCA, pp. 2218-2223. (2007)

Di Cairano, Stefano and Bemporad, Alberto and Kolmanovsky, Ilya and Hrovat, Davor Model predictive control of magnetic automotive actuators. In: American Control Conference. IEEE, 9th-13th July 2007 , pp. 5082-5087. ISBN 1-4244-0988-8 (2007)

Gadducci, Fabio and Lluch-Lafuente, Alberto Graphical Encoding of a Spatial Logic for the pi-Calculus. In: Algebra and Coalgebra in Computer Science (CALCO’07). Lecture Notes in Computer Science, 4624 . Springer, pp. 209-225. ISBN 978-3-540-73857-2 (2007)

Gagliardi, Mariacristina and Barbani, Niccoletta and Cristallini, Caterina and Guerra, Giulio D. and Krajewski, A. and Mazzocchi, M. Composites between collagen and hydroxyapatite, a preliminary physicochemical and biological investigation on interactions between collagen and hydroxyapatite. In: Ceramics,Cells and Tissues. Nanotechnology for Functional Repair and Regenerative Medicine. 11th Meeting and Seminar. CNR, pp. 182-191. ISBN 978-88-8080-085-9 (2007)

Hartwig, Valentina and Cappelli, Claudia and Vanello, Nicola and Ricciardi, Emiliano and Scilingo, Enzo Pasquale and Giovannetti, Giulio and Santarelli, Maria Filomena and Positano, Vincenzo and Bicchi, Antonio and Pietrini, Pietro and Landini, Luigi Electrocutaneous stimulation of skin mechanoreceptors for tactile studies with functional Magnetic Resonance Imaging. In: Encyclopedia of Healthcare Information Systems. Medical Information Science Reference, pp. 497-504. ISBN 978-1599048895 (2007)

Ingimundarson, Ari and Ocampo-Martinez, Carlos and Bemporad, Alberto Suboptimal model predictive control of hybrid systems based on mode-switching constraints. In: Decision and Control. IEEE, 12th-14th December 2007, 5264-5269 . ISBN 978-1-4244-1497-0 (2007)

Julius, A. Agung and Sakar, M. Selman and Bemporad, Alberto and Pappas, George J. Hybrid model predictive control of induction of escherichia coli. In: Decision and Control. IEEE, 12th-14th December 2007, 3913-3918 . ISBN 978-1-4244-1497-0 (2007)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco COWS: A Timed Service-Oriented Calculus. In: Theoretical Aspects of Computing – ICTAC 2007. Lecture Notes in Computer Science, 4711 . Springer, pp. 275-290. ISBN 978-3-540-75290-5 (2007)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A Calculus for Orchestration of Web Services. In: Programming Languages and Systems (ESOP 2007). Lecture Notes in Computer Science, 4421 . Springer, pp. 33-47. ISBN 978-3-540-71314-2 (2007)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Regulating Data Exchange in Service Oriented Applications. In: International Symposium on Fundamentals of Software Engineering (FSEN 2007). Lecture Notes in Computer Science, 4767 . Springer, pp. 223-239. ISBN 978-3-540-75697-2 (2007)

Lazar, Mircea and Heemels, W.P.M.H. and Bemporad, Alberto and Weiland, Siep Discrete-time non-smooth nonlinear MPC: Stability and robustness. In: Assessment and Future Directions of Nonlinear Model Predictive Control. Springer-Verlag, pp. 93-103. ISBN 978-3-540-72698-2 (2007)

Lluch-Lafuente, Alberto Towards Model Checking Spatial Properties with SPIN. In: Model Checking Software (SPIN'07). Lecture Notes in Computer Science, 4595 . Springer, pp. 223-242. ISBN 978-3-540-73369-0 (2007)

Ocampo-Martinez, Carlos and Bemporad, Alberto and Ingimundarson, Ari and Cayuela, Vincenç Puig On hybrid model predictive control of sewer networks. In: Identification and Control: The gap between theory & practice. Springer-Verlag, pp. 87-114. ISBN 978-1-84628-899-9 (2007)

Paggi, Marco and Carpinteri, Alberto ctal and multifractal approaches for the analysis of crack-size dependent scaling laws in fatigue. In: AIMETA 2007: Atti del XVIII Congresso dell’Associazione Italiana di Meccanica Teorica e Applicata. Tesi e ricerca . Starrylink, pp. 417-418. ISBN 978-88-89720-69-1 (2007)

Paggi, Marco and Carpinteri, Alberto and Lacidogna, Giuseppe On the competition between delamination and shear failure in retrofitted concrete beams and related scale effects. In: Design, Assessment and Retrofitting of RC Structures. Taylor & Francis, pp. 1069-1076. ISBN 9780415446167 (2007)

Paggi, Marco and Zavarise, Giorgio Snap-back and snap-through instabilities due to contact loss in the stick-slip motion of rough surfaces. In: AIMETA 2007: Atti del XVIII Congresso dell’Associazione Italiana di Meccanica Teorica e Applicata. Tesi e Ricerca . Starrylink, pp. 60-61. ISBN 978-88-89720-69-1 (2007)

Palmeri, Maria Carla and De Nicola, Rocco and Massink, Mieke Basic Observables for Probabilistic May Testing. In: Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007). IEEE Computer Society, pp. 189-200. ISBN 0-7695-2883-X (2007)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Automatic Correctness Proofs for Logic Program Transformations. In: Logic Programming. Lecture Notes in Computer Science (4670). Springer, pp. 364-379. ISBN 978-3-540-74608-9 (2007)

Pietrini, Pietro ResponsabilMente: dai processi cerebrali al processo penale. Prospettive e limiti dell’approccio neuroscientifico. In: La prova scientifica nel processo penale. CEDAM, pp. 317-334. ISBN 978-88-13-27247-0 (2007)

Pietrini, Pietro and Battaglia, F. Il cervello o il mondo nella testa. In: Saperi umani e consulenza filosofica. Meltemi editore, Roma, Italia, pp. 181-189. ISBN 978-88-8353-597-0 (2007)

Tribastone, Mirco Bottom-up beats top-down hands down. In: Proceedings of the 6th Workshop on Process Algebra and Stochastically Timed Activities (PASTA). AESOP, pp. 97-104. (Unpublished) (2007)

Tribastone, Mirco The PEPA Plug-in Project. In: Proceedings of the 4th International Conference on the Quantitative Evaluation of Systems. QEST 2007. IEEE, pp. 53-54. ISBN 978-0-7695-2883-0 (2007)

Tsaftaris, Sotirios A. and Ahuja, Ramandeep and Shiell, Derek and Katsaggelos, Aggelos K. DNA microarray image intensity extraction using Eigenspots. In: International conference on image processing. IEEE, VI -265 . ISBN 978-1-4244-1437-6 (2007)

Zavarise, Giorgio and Paggi, Marco Reliability of Micromechanical Contact Models: a Still Open Issue. In: Computational Contact Mechanics. CISM International Centre for Mechanical Sciences (498). Springer , pp. 39-82. ISBN 978-3-211-77298-0 (2007)

Working Paper

Bemporad, Alberto and Bernardini, Daniele and Cuzzola, Francesco Alessandro and Spinelli, Andrea Optimization-based feedback control of flatness in a cold tandem rolling. Technical Report #4/2007

Caires, Luis and Costa Seco, João and Torres Vieira, Hugo Automotive and finance case studies in the conversation calculus. Technical Report #04/2007 Departamento de Informática - Universidade nova de Lisboa (Unpublished)

Caires, Luis and Tavares Sousa, David and Torres Vieira, Hugo Checking for choreography conformance using spatial logic model-checking. Technical Report #03/2007 Departamento de Informática - Universidade nova de Lisboa (Unpublished)

Conference or Workshop Item

Bemporad, Alberto and Gentile, F. and Mecocci, A. and Molendi, Francesco and Rossi, F. A wireless magneto-resistive sensor network for real-time vehicle detection. In: Fourth European conference, EWSN 2007, The Netherlands, Delft, 29-31 January 2007 pp. 13-14. (2007)

Bongioanni, Paolo and Metelli, Maria Rita and Fulceri, F. and Manzone, F. and Rossi, B. and Pietrini, Pietro Serum levels of the fibroblast growth factor and insulin-like growth factor in amyotrophic lateral sclerosis patients. In: 11th EFNS Congress, August 25-28, 2007, Brussels (2007)

Bonino, Daniela and Ricciardi, Emiliano and Sani, Lorenzo and Vecchi, Tomaso and Pietrini, Pietro Neural correlates of mental representation of space in sighted and congenitally blind individuals as measured by fMRI. In: 13th International Brain Mapping & Intraoperative Surgical Planning Society Annual Meeting, June 2007, Chicago (2007)

Bonino, Daniela and Ricciardi, Emiliano and Sani, Lorenzo and Vecchi, Tomaso and Pietrini, Pietro Neural correlates of visual and tactile spatial detection in sighted and congenitally-blind subjects. In: 17th Meeting of the International Society for Brain Electromagnetic Topography, September 27–30, 2006, Chieti, Italy p. 197. ISSN 0896-0267. (2007)

Casarotto, Silvia and Ricciardi, Emiliano and Sani, Lorenzo and Guazzelli, Mario and Pietrini, Pietro and Chiarenza, Giuseppe A. ERPs disclose the specificity of spatio-temporal patterns of brain activity during self-paced reading aloud. In: 13th International Brain Mapping & Intraoperative Surgical Planning Society Annual Meeting, June 2007, Chicago (2007)

Casarotto, Silvia and Ricciardi, Emiliano and Sani, Lorenzo and Guazzelli, Mario and Pietrini, Pietro and Chiarenza, Giuseppe A. Single-letter reading elicits a different spatio-temporal modulation of brain activity in dyslexic children as compared to healthy controls. In: 13th International Brain Mapping & Intraoperative Surgical Planning Society Annual Meeting, Chicago (2007)

Ferrara, Antonella and Rubagotti, Matteo Gradient tracking based second order sliding mode control of a wheeled vehicle. In: European Control Conference 2007, 2-5 July 2007, Kos, Greece (Unpublished) (2007)

Ferrara, Antonella and Rubagotti, Matteo Sliding mode control of a mobile robot for dynamic obstacle avoidance based on a time-varying harmonic potential field. In: ICRA2007 Workshop Perception, Planning and Navigation for Intelligent Vehicles , April 14, 2007, Rome, Italy (Unpublished) (2007)

Gnecco, Giorgio and Sanguineti, Marcello Deriving Approximation Error Bounds via Rademacher’s Complexity and Learning Theory. In: AIRO 2007, September 5th-8th, 2007, Genoa, Italy p. 25. (2007)

Gnecco, Giorgio and Sanguineti, Marcello and Zoppoli, Riccardo Exploiting Structural Results in Approximate Dynamic Programming. In: EURO XXII, July 8th-11th, 2007, Prague, Czech Republic p. 159. (2007)

Gnecco, Giorgio and Sanguineti, Marcello and Zoppoli, Riccardo Suboptimal Solutions to Dynamic Optimization Problems: Extended Ritz Method Versus Approximate Dynamic Programming. In: AIRO 2007, September 5th-8th, 2007, Genoa, Italy p. 10. (2007)

Iacopetti, Paola and Tarantino, I. and Cozza, Arianna and Santi, S. and Savarino, G. and Fogli, Stefano and Pietrini, Pietro and Pellegrini, Silvia A flexible SNP genotyping system to study allelic determinants of brain function. In: 14th World Congress on Psychiatric Genetics, October 28th–November 1st, 2006, October 28 - November 1, 2006, Cagliari, Italia (2007)

Patrinos, Panagiotis and Sarimveis, Haralambos Robust optimal control: calculation of the explicit control law combining dynamic programming and multiparametric optimization. In: 6th Panhellenic Conference on Chemical Engineering, May 31 - June 2 2007, Athens, Greece (Unpublished) (2007)

Patrinos, Panagiotis and Sarimveis, Haralambos An explicit optimal control approach for mean-risk dynamic portfolio allocation. In: European Control Conference, 2-5 July 2007, Kos, Greece (Unpublished) (2007)

Pietrini, Pietro and Ricciardi, Emiliano and Casarotto, Silvia and Sanna, F. and Corciolani, Matteo and Romani, S. and Dalli, Daniele Covert visual brand recognition modulates emotional neural networks: a fMRI study. In: 37th annual meeting of the Society for Neuroscience, November 3-7, 2007, San Diego (2007)

Quattrociocchi, Walter and Paolucci, Mario Cognition in information evaluation: the effect of reputation in decisions making and learning strategies for discovering good sellers in a base market. In: EUMAS '07 - 5th European Workshop on Multi-Agent Systems, December 13 - 14, 2007, Hammamet, Tunisia (Unpublished) (2007)

Silvestri, Davide and Cristallini, Caterina and Gagliardi, Mariacristina and Barbani, Niccoletta and Giusti, Paolo Studio di materiali biodegradabili per il rilascio combinato di farmaci da stent vascolari. In: Congresso Nazionale Biomateriali, May 28-29, 2007, Bologna, Italy (Unpublished) (2007)

Silvestri, Davide and Gagliardi, Mariacristina and Cristallini, Caterina and Rosellini, Elisabetta and Giusti, Paolo Study of Polymer Coatings for Drug Delivery Through Experimental Characterization and Computational Modelling. In: 21st European Conference on Biomaterials, September 9-13, 2007, Brighton, United Kingdom (Unpublished) (2007)

Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. Retrieval accuracy of very large DNA-Based databases of digital signals. In: 15th European signal processing conference, 3-7 September 2007, Poznan, Poland pp. 1561-1567. (2007)

Vanello, Nicola and Hartwig, Valentina and Tesconi, Mario and Zupone, Giuseppe and Sgambelluri, Nicola and Tognetti, Alessandro and Ricciardi, Emiliano and Scilingo, Enzo Pasquale and Bicchi, Antonio and Pietrini, Pietro and De Rossi, Danilo and Landini, Luigi An MRI Compatibility Study of a Fabric Sensing Glove for Sensory-Motor Brain Activity Exploration. In: 10th Annual International Workshop on Presence, October 25-27, 2007, Barcelona, Spain pp. 79-83. ISBN 978-0-9792217-1-2. (2007)

Book

Bemporad, Alberto and Bicchi, Antonio and Buttazzo, Giorgio (edited by) Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings. Lecture Notes in Computer Science, 4416 . Springer-Verlag, -. ISBN 3-540-71492-8 (2007)