2024 search results - page 84 / 405 » A Formal Model of Multi-agent Computations |
114
Voted
PERCOM
2008
ACM
16 years 3 months ago
2008
ACM
The field of pervasive computing has seen a lot of exciting innovations in the past few years. However, there are currently no mechanisms for describing the properties and capabil...
160
Voted
TIME
2006
IEEE
15 years 9 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
119
Voted
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Cell-DEVS is a combination of CA with the DEVS formalism that allows the definition of cellular models. CD++ is a modeling and simulation tool that implements DEVS and Cell-DEVS. W...
109
click to vote
ICMAS
2000
15 years 5 months ago
2000
In this paper, I motivate, define, and illustrate the notion of computationally grounded theories of agency. A theory of agency is said to be computationally grounded if we can gi...
160
Voted
ASPDAC
2001
ACM
15 years 7 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...