656 search results - page 52 / 132 » A Formalization of Transition P Systems |
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...
110
Voted
DSS
2006
15 years 17 days ago
2006
Inspired by the way SAP R/3 and other transactional information systems log events, we focus on the problem to decide whether a process model and a frequency profile "fit"...
137
Voted
TC
2010
14 years 7 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
108
Voted
ITP
2010
14 years 11 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
121
click to vote
MEMOCODE
2008
IEEE
15 years 7 months ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...