6102 search results - page 264 / 1221 » Modelling Environments for Distributed Simulation |
172
click to vote
PDP
2006
IEEE
16 years 15 days ago
2006
IEEE
— The Parallel Resource-Optimal (PRO) computation model was introduced by Gebremedhin et al. [2002] as a framework for the design and analysis of efficient parallel algorithms. ...
183
click to vote
SEC
2007
15 years 8 months ago
2007
This paper presents the results related to the development of a flexible domain-based access control infrastructure for distributed Grid-based Collaborative Environments and Comple...
143
click to vote
EJWCN
2010
15 years 1 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
199
click to vote
PERVASIVE
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. PersonisAD, is a framework for building context-aware, ubiquitous applications: its defining foundation is a consistent mechanism for scrutable modelling of people, sens...
156
click to vote
SECURWARE
2007
IEEE
16 years 23 days ago
2007
IEEE
— Digital Ecosystems is the new paradigm for dynamic IT business integration. A Digital Ecosystem consists of institutions that compete, collaborate, and form stable or unstable ...