2024 search results - page 83 / 405 » A Formal Model of Multi-agent Computations |
128
Voted
FM
2003
Springer
15 years 9 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
146
click to vote
SYNASC
2008
IEEE
15 years 10 months ago
2008
IEEE
We formalize paper fold (origami) by graph rewriting. Origami tion is abstractly described by a rewrite system (O, ), where set of abstract origami’s and is a binary relation on ...
170
Voted
CMOT
2011
14 years 7 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
129
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...
126
Voted
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...