1121 search results - page 202 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
91
Voted
WSC
2004
14 years 10 months ago
2004
Federated simulations address the need for interoperability, as well as the improvement of reuse and composability of existing simulation models. The focal goal in a federated sim...
HYBRID
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
129
click to vote
GPC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
NDSS
1997
IEEE
15 years 1 months ago
1997
IEEE
This paper presents a model of hierarchical organization of Certification Authorities which can be applied to any open system network. In order to study the feasibility of the pro...
113
click to vote
BRAIN
2010
Springer
14 years 10 months ago
2010
Springer
Cognitive informatics studies the natural intelligence and the brain from a theoretical and a computational approach, which rigorously explains the ms of the brain by a fundamental...