1194 search results - page 130 / 239 » A Language for Implementing Arbitrary Logics |
DALT
2007
Springer
14 years 3 months ago
2007
Springer
We address the problem of standardising the semantics of agent communication. The diversity of existing approaches suggests that no single agent communication language can satisfac...
POPL
2008
ACM
14 years 9 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
CN
2007
13 years 9 months ago
2007
Although conceived for web services, it is shown how BPEL (Business Process Execution Language) can be used to orchestrate a collection of grid services. This is achieved using th...
DATESO
2007
13 years 10 months ago
2007
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...