2520 search results - page 356 / 504 » Model-checking behavioral programs |
156
click to vote
ACMMSP
2006
ACM
15 years 8 months ago
2006
ACM
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...
137
Voted
VL
2005
IEEE
15 years 7 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
97
Voted
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
This work focuses on an emerging extension to traditional agent models, called Hierarchical Mobile Agents model, where an agent can contain other agents recursively. The model ena...
131
click to vote
SEW
2003
IEEE
15 years 7 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
115
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Optimal behavior is a very desirable property of autonomous agents and, as such, has received much attention over the years. However, making optimal decisions and executing optima...