7124 search results - page 1229 / 1425 » Programming Languages and Operating Systems |
128
Voted
CLIMA
2004
15 years 4 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...
150
Voted
JLP
2007
15 years 2 months ago
2007
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
166
Voted
RULEML
2010
Springer
15 years 1 months ago
2010
Springer
Rule bases are common in many business rule applications, clinical decision support programs, and other types of intelligent systems. As the size of the rule bases grows and the in...
215
Voted
CC
2009
Springer
16 years 3 months ago
2009
Springer
Important challenges for compiler optimization include determining what optimizations to apply, where to apply them and what is a good sequence in which to apply them. To address t...
110
Voted
CADE
2003
Springer
16 years 2 months ago
2003
Springer
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugg...