2108 search results - page 306 / 422 » An Operational Semantics for Stateflow |
155
Voted
REX
1991
15 years 7 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
134
click to vote
AAAI
2007
15 years 6 months ago
2007
A variety of business relationships in open settings can be understood in terms of the creation and manipulation of commitments among the participants. These include B2C and B2B c...
125
click to vote
AAAI
2007
15 years 6 months ago
2007
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...
127
click to vote
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
Several aspect languages and frameworks have recognized the need for dynamic deployment of aspects. However, they do not provide sufficiently expressive means to precisely specify...
136
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...