42 search results - page 5 / 9 » Modelling Remote Concurrency with Ada |
101
click to vote
CDVE
2004
Springer
15 years 3 months ago
2004
Springer
ALTERNE (Alternative Realities in Networked Environments) platform aims at providing a high level of integration between various techniques supporting mixed reality, graphics, inte...
ICSE
1997
IEEE-ACM
15 years 2 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
CONCURRENCY
2008
14 years 10 months ago
2008
: We discuss the development and application of Web Service-based Geographical Information System Grids. Following the WS-I+ approach of building Grids on Web Service standards, we...
SP
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
CONCURRENCY
2006
14 years 10 months ago
2006
: The next generation of scientific experiments and studies, popularly called e-Science, is carried out by large collaborations of researchers distributed around the world engaged ...