1888 search results - page 213 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
129
click to vote
VIS
2009
IEEE
16 years 5 months ago
2009
IEEE
Visualization is essential for understanding the increasing volumes of digital data. However, the process required to create insightful visualizations is involved and time consumin...
142
click to vote
CLIMA
2004
15 years 5 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
139
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike). It allows developers to model and program domain-s...
136
click to vote
COORDINATION
2004
Springer
15 years 9 months ago
2004
Springer
A development environment for applications specified in an extended version of a previously developed coordination model based on associatively broadcast interactions is presented....
130
click to vote
HPCA
2008
IEEE
16 years 4 months ago
2008
IEEE
Converged fabrics that support data, storage, and cluster networking in a unified fashion are desirable for their cost and manageability advantages. Recent trends towards higher-b...