1229 search results - page 125 / 246 » Reflections on the Design of a Specification language |
CLIMA
2004
13 years 9 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
ECOOP
2006
Springer
13 years 11 months ago
2006
Springer
Object persistence architectures support transparent access to persistent objects. For efficiency, many of these architectures support queries that can prefetch associated objects ...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. To cope with the ever increasing diversity of markup languages, programming languages, tool kits and interface development environments, conceptual modeling of user inter...
ACL
2006
13 years 9 months ago
2006
The LOGON MT demonstrator assembles independently valuable general-purpose NLP components into a machine translation pipeline that capitalizes on output quality. The demonstrator ...
ICFP
2003
ACM
14 years 8 months ago
2003
ACM
This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its ...