2024 search results - page 142 / 405 » A Formal Model of Multi-agent Computations |
163
click to vote
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
132
click to vote
GECON
2007
Springer
15 years 10 months ago
2007
Springer
Grid Computing, initially intended to provide access to computational resources for high-performance computing applications, broadened its focus by addressing computational needs o...
170
click to vote
HCI
2009
15 years 1 months ago
2009
As the demand for domain- and formalism-specific visual modelling environments grows, the need to rapidly construct complex User Interfaces (UIs) increases. In this paper, we propo...
139
click to vote
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
This paper motivates a novel metamodel and methodology for specifying cross-organizational business interactions that is based on Tropos. Current approaches for business modeling a...
125
click to vote
DNA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Laboratory investigations have shown that a formal theory of fault-tolerance will be essential to harness nanoscale self-assembly as a medium of computation. Several rese...