2776 search results - page 13 / 556 » System-Level Abstraction Semantics |
FAC
2000
13 years 8 months ago
2000
s and Abstract Machines Stephan Diehl Universit
TARK
2005
Springer
14 years 2 months ago
2005
Springer
s for Multi-Agent Only Knowing (extended abstract) Arild Waaler1,2 and Bjørnar Solhaug3,4 1 Finnmark College, Norway 2 Dep. of Informatics, University of Oslo, Norway 3 SINTEF ICT...
WWW
2003
ACM
14 years 9 months ago
2003
ACM
d Abstraction for Messaging on the Semantic Web Dennis Quan IBM Internet Technology 1 Rogers Street Cambridge, MA 02142 USA dennisq@us.ibm.com Karun Bakshi MIT Artificial Intellige...
IJPP
2010
13 years 6 months ago
2010
ions Using High-Level Abstractions Chunhua Liao
LICS
2010
IEEE
13 years 7 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...