31387 search results - page 68 / 6278 » Abstracts |
WEBI
2005
Springer
14 years 3 months ago
2005
Springer
Abstract Descriptions into Executable Web Services: Towards a Formal Development Antonella Chirichiello1 and Gwen Sala¨un2 1 DIS - Universit`a di Roma “La Sapienza”, Italy
CSL
2004
Springer
14 years 3 months ago
2004
Springer
Interpretation of Proofs: Classical Propositional Calculus Martin Hyland DPMMS, Centre for Mathematical Sciences, University of Cambridge, England Representative abstract interpret...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
ive Task Planning through Multiple Abstraction: Application to Assistant Robotics Cipriano Galindo and Javier Gonzalez and Juan-Antonio Fernandez-Madrigal1
WAW
2004
Springer
14 years 3 months ago
2004
Springer
ystem (Extended Abstract) Gianna M. Del Corso1 Antonio Gull´ı1,2 Francesco Romani1 1 Dipartimento di Informatica, University of Pisa, Italy 2 IIT-CNR, Pisa
DATE
2003
IEEE
14 years 3 months ago
2003
IEEE
ng precision of abstract SystemC models using the SystemC Verification Standard Franco Carbognani1 , Christopher K. Lennard2 , C. Norris Ip3 , Allan Cochrane2 , Paul Bates2 1 Caden...