247 search results - page 37 / 50 » Stable models and an alternative logic programming paradigm |
111
click to vote
JAIR
2010
14 years 10 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
123
click to vote
ICS
2004
Tsinghua U.
15 years 5 months ago
2004
Tsinghua U.
Studying program behavior is a central component in architectural designs. In this paper, we study and exploit one aspect of program behavior, the behavior repetition, to expedite...
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
IEEEAMS
2003
IEEE
15 years 4 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
117
click to vote
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...