2838 search results - page 142 / 568 » Verifying Controlled Components |
MIDDLEWARE
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents a content-dependent and configurable framework for the network processing of documents. Like existing compound document frameworks, it enables an enriched docu...
SAC
2004
ACM
14 years 3 months ago
2004
ACM
The purpose of this paper is to investigate the use of a new concept in component communication, expressed by the channel based coordination language called ρέω, in the coordina...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
MPI middleware glues together the components necessary for execution. Almost all implementations have a communication component also called a message progression layer that progre...
MIS
2001
Springer
14 years 2 months ago
2001
Springer
The concept of multimedia metacomputing involves the formation of a large scale loosely coupled multiprocessing environment capable of performing complex transformations on media ...
ICSE
2008
IEEE-ACM
14 years 11 months ago
2008
IEEE-ACM
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...