Sciweavers

1172 search results - page 90 / 235
» Who killed design
Sort
View
EDOC
2000
IEEE
14 years 1 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...
GROUP
1999
ACM
14 years 1 months ago
Supporting the shared care of diabetic patients
This paper reports on a study of clinicians who care for diabetic patients, and on the design of an application to support their work. The clinicians' long-term activity is r...
Tim Kindberg, Nick Bryan-Kinns, Ranjit Makwana
ASIAN
1999
Springer
114views Algorithms» more  ASIAN 1999»
14 years 1 months ago
Entailment of Non-structural Subtype Constraints
Entailment of subtype constraints was introduced for constraint simplification in subtype inference systems. Designing an efficient algorithm for subtype entailment turned out to...
Joachim Niehren, Tim Priesnitz
ISWC
1999
IEEE
14 years 1 months ago
When Cyborgs Meet: Building Communities of Cooperating Wearable Agents
This paper introduces the notion of a Wearable Community as a group of wearable users who cooperate for their mutual benefit. In such a community, wearable computers act as person...
Gerd Kortuem, Jay Schneider, Jim Suruda, Stephen F...
TOOLS
1998
IEEE
14 years 1 months ago
Declarative Reasoning about the Structure of Object-Oriented Systems
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
Roel Wuyts