592 search results - page 30 / 119 » Can Component Service-Based Systems Be Proved Correct |
SAFECOMP
1999
Springer
13 years 11 months ago
1999
Springer
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
BTW
2003
Springer
14 years 23 days ago
2003
Springer
Abstract: Some emerging trends in the recent development of the WWW can be observed. These trends are technical, like Web Services, as well as semantic, like the integration of ont...
IWSAS
2001
Springer
13 years 12 months ago
2001
Springer
The subject of this paper is a Smart Spell Checker System (SSCS) that can adapt to a particular user by using the user’s feedback for adjusting its behavior. The result of the ad...
RTSS
2003
IEEE
14 years 24 days ago
2003
IEEE
Consensus is known to be a fundamental problem in fault-tolerant distributed systems. Solving this problem provides the means for distributed processes to agree on a single value....
SIGMOD
2003
ACM
14 years 7 months ago
2003
ACM
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...