1168 search results - page 44 / 234 » Management in Distributed Systems: A Semi-formal Approach |
114
click to vote
PVM
2010
Springer
14 years 11 months ago
2010
Springer
Commercial HPC applications are often run on clusters that use the Microsoft Windows operating system and need an MPI implementation that runs efficiently in the Windows environmen...
120
click to vote
ADBIS
2007
Springer
15 years 7 months ago
2007
Springer
The exponential growth of the web and the extended use of database management systems in widely distributed information systems has brought to the fore the need for seamless interc...
121
click to vote
RTCSA
2005
IEEE
15 years 7 months ago
2005
IEEE
Context aware middleware infrastructures have traditionally been implemented with a modular approach to allow different components to work cooperatively and supply context synthes...
115
click to vote
ETFA
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
113
click to vote
DBSEC
2007
15 years 2 months ago
2007
The growing number of distributed information systems such as the internet has created a need for security in data sharing. When several autonomous parties attempt to share data, t...