4211 search results - page 270 / 843 » A formal approach to MASQ |
193
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
169
Voted
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...
157
click to vote
ICDIM
2008
IEEE
16 years 1 months ago
2008
IEEE
In this article we analyse how tacit and explicit knowledge are managed in teams. Tacit knowledge is located in human persons and it can not be described formally as data or any o...
151
click to vote
SYNASC
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper provides a design rationale for a mechanism that enforces a correct mapping between a model of a nested agent organization and a model of a composite interaction-based ...
182
click to vote
SFM
2007
Springer
16 years 25 days ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...