31387 search results - page 68 / 6278 » Abstracts |
106
click to vote
WEBI
2005
Springer
15 years 11 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
153
click to vote
CSL
2004
Springer
15 years 11 months ago
2004
Springer
Interpretation of Proofs: Classical Propositional Calculus Martin Hyland DPMMS, Centre for Mathematical Sciences, University of Cambridge, England Representative abstract interpret...
132
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
ive Task Planning through Multiple Abstraction: Application to Assistant Robotics Cipriano Galindo and Javier Gonzalez and Juan-Antonio Fernandez-Madrigal1
139
click to vote
WAW
2004
Springer
15 years 11 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
159
click to vote
DATE
2003
IEEE
15 years 11 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...