1268 search results - page 197 / 254 » Verifying distributed systems: the operational approach |
COLING
1994
13 years 11 months ago
1994
DBMT is researched here in the context of future systems for the general public, where a monolingual author wants to translate into several languages. We have produced a complete ...
EDOC
2008
IEEE
14 years 4 months ago
2008
IEEE
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...
EDBTW
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Recent research efforts in the fields of data stream processing and data stream management systems (DSMSs) show the increasing importance of processing data streams, e. g...
CCR
2008
13 years 10 months ago
2008
In this paper we propose a radical solution to data hosting and delivery for the Internet of the future. The current data delivery architecture is "network centric", wit...
JSSPP
2005
Springer
14 years 3 months ago
2005
Springer
Irregular and iterative I/O-intensive jobs need a different approach from parallel job schedulers. The focus in this case is not only the processing requirements anymore: memory, ...