4469 search results - page 336 / 894 » A Language for Role Specifications |
162
click to vote
FOAL
2007
ACM
15 years 10 months ago
2007
ACM
By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. Dyna...
191
Voted
CIA
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we present the MAPa language for expressing knowledge transfer and action restriction between agents in multiagent systems. Our approach is founded on the definition ...
174
click to vote
SE
2008
15 years 8 months ago
2008
: The increased usage of Web services for critical applications introduces a growing need for efficient testing approaches to assure their quality. The Testing and Test Control Not...
167
click to vote
IJCAI
1993
15 years 8 months ago
1993
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en gineering. The design is based on the la...
187
Voted
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. This paper puts forward a view on conditional commitments as causal rules, using action language K as the specification framework. The proposal builds upon an operational...