3573 search results - page 204 / 715 » Reasoning about Codata |
204
click to vote
ARGMAS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
156
click to vote
EMSOFT
2007
Springer
16 years 21 days ago
2007
Springer
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...
166
click to vote
FCT
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
153
click to vote
BIRTHDAY
2005
Springer
16 years 2 days ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
150
click to vote
SAFECOMP
2005
Springer
16 years 23 hour ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...