1888 search results - page 173 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
118
click to vote
ISPDC
2006
IEEE
15 years 9 months ago
2006
IEEE
Recently, we have proposed a comprehensive agent-based e-commerce system. While UML formalized, it lacked details how basic functions – e.g. user request to purchase a given pro...
159
click to vote
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Distributed processing environments such as that of a traffic management network system (TMS) can be implemented easier, faster, and secure and perform better through use of auton...
133
click to vote
COOPIS
2000
IEEE
15 years 8 months ago
2000
IEEE
The identification and analysis of the knowledge available in document form is a key element of corporate knowledge management. In engineering-intensive organizations, it involves...
120
click to vote
EUROPAR
2008
Springer
15 years 5 months ago
2008
Springer
Setting up generic and fully transparent distributed services for clusters implies complex and tedious kernel developments. More flexible approaches such as user-space libraries ar...
137
click to vote
SAC
2006
ACM
15 years 3 months ago
2006
ACM
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...