2875 search results - page 321 / 575 » Model checking agentspeak |
131
click to vote
FM
2008
Springer
15 years 5 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
136
Voted
ATVA
2010
Springer
15 years 3 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
117
Voted
ENTCS
2006
15 years 3 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
113
Voted
FAC
2007
15 years 3 months ago
2007
Individual components in an inter-operating system require assurance from other components both of appropriate functionality and of suitable responsiveness. We have developed prope...
129
click to vote
JAIR
2000
15 years 3 months ago
2000
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...