234 search results - page 45 / 47 » Validation of requirement models by automatic prototyping |
SOSP
2005
ACM
15 years 7 months ago
2005
ACM
We present a method for automatically extracting from a running system an indexable signature that distills the essential characteristic from a system state and that can be subjec...
COOPIS
2004
IEEE
15 years 2 months ago
2004
IEEE
Large-scale database integration requires a significant cost in developing a global schema and finding mappings between the global and local schemas. Developing the global schema r...
197
click to vote
POPL
2008
ACM
15 years 11 months ago
2008
ACM
Self-adjusting computation enables writing programs that can automatically and efficiently respond to changes to their data (e.g., inputs). The idea behind the approach is to stor...
116
Voted
SOUPS
2006
ACM
15 years 4 months ago
2006
ACM
The usability of access control mechanisms in modern distributed systems has been widely criticized but little studied. In this paper, we carefully examine one such widely deploye...
121
click to vote
PRESENCE
2008
14 years 10 months ago
2008
Effective, real-time training of health care professionals in invasive procedures is a challenging task. Furthermore, assessing in practice the acquisition of the dexterity and sk...