1638 search results - page 235 / 328 » A General Semantics for Evaluation Logic |
104
click to vote
JELIA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
105
click to vote
SARA
2009
Springer
15 years 4 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
211
click to vote
SIGMOD
2000
ACM
15 years 4 months ago
2000
ACM
XML is rapidly emerging as the new standard for data representation and exchange on the Web. An XML document can be accompanied by a Document Type Descriptor (DTD) which plays the...
116
click to vote
MA
2000
Springer
15 years 3 months ago
2000
Springer
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
107
click to vote
AOSD
2008
ACM
15 years 1 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...