2722 search results - page 379 / 545 » The Model Evolution Calculus |
123
click to vote
ATAL
1995
Springer
15 years 6 months ago
1995
Springer
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
122
click to vote
DBPL
1991
Springer
15 years 6 months ago
1991
Springer
We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. It...
101
click to vote
TACS
1991
Springer
15 years 6 months ago
1991
Springer
System F is a well-known typed λ-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F, called F<: (pronoun...
122
click to vote
AIPS
2007
15 years 4 months ago
2007
A great deal of research has addressed the problem of generating optimal plans, but these plans are of limited use in circumstances where noisy sensors, unanticipated exogenous ac...
117
click to vote
CAISE
2010
Springer
15 years 2 months ago
2010
Springer
Task delegation presents one of the business process security leitmotifs. It defines a mechanism that bridges the gap between both workflow and access control systems. There are tw...