3765 search results - page 350 / 753 » Qualitative Action Systems |
189
click to vote
CEEMAS
2003
Springer
16 years 23 days ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
204
click to vote
ATAL
2000
Springer
15 years 12 months ago
2000
Springer
This paper presents a programmable logic-based agent control system that interleaves planning, plan execution and perception. In this system, a program is a collection of logical f...
186
click to vote
FMLDO
1999
Springer
15 years 11 months ago
1999
Springer
The concept of a transaction, highly significant in the context of data bases, is broadened to make it refer to any atomic operation that changes the state of a software system or...
191
click to vote
POPL
1998
ACM
15 years 11 months ago
1998
ACM
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...
189
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...