2253 search results - page 163 / 451 » An Approach to Specifying Software Frameworks |
132
click to vote
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...
140
click to vote
ICAI
2003
15 years 5 months ago
2003
– Existing team training software often requires that trainees be organized as physical teams and the members of the same team be trained at the same time. To demonstrate that te...
134
click to vote
ISPW
2005
IEEE
15 years 9 months ago
2005
IEEE
Medical errors are now recognized as a major cause of untimely deaths or other adverse medical outcomes. To reduce the number of medical errors, the Medical Safety Project at the U...
128
click to vote
WADT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
117
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents a software framework, called Collaborator, to provide a shared work-space supporting the activities of virtual teams. This system exploits seamless integration ...