1454 search results - page 70 / 291 » Stateful traits and their formalization |
98
Voted
MEMOCODE
2003
IEEE
15 years 5 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
129
Voted
AGENTCL
2003
Springer
15 years 5 months ago
2003
Springer
CHOPRA, AMIT KHUSHWANT. Nonmonotonic Commitment Machines. (Under the direction of Dr. Munindar P. Singh). Protocols in open and dynamic multiagent systems cannot be modeled via fo...
112
Voted
FORMATS
2008
Springer
15 years 2 months ago
2008
Springer
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...
92
Voted
JANCL
2000
15 years 11 days ago
2000
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion o...
131
click to vote
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...