Sciweavers

8768 search results - page 169 / 1754
» Generalizing the notion of support
Sort
View
ECSCW
1997
15 years 8 months ago
Plans as Situated Action: An Activity Theory Approach to Workflow Systems
: Within the community of CSCW the notion and nature of workflow systems as prescriptions of human work has been debated and criticised. Based on the work of Suchman (1987) the not...
Jakob Bardram
ECAI
2008
Springer
15 years 8 months ago
Diagnosis of Simple Temporal Networks
In many domains successful execution of plans requires careful monitoring and repair. Diagnosis of plan execution supports this process by identifying causes of plan failure. Most ...
Nico Roos, Cees Witteveen
CORR
2010
Springer
122views Education» more  CORR 2010»
15 years 7 months ago
Specifying Reusable Components
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer
ISF
2007
87views more  ISF 2007»
15 years 7 months ago
Requirements traceability in model-driven development: Applying model and transformation conformance
The variety of design artifacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper prop...
João Paulo A. Almeida, Maria-Eugenia Iacob,...
JOC
2002
76views more  JOC 2002»
15 years 6 months ago
A Note on Negligible Functions
In theoretical cryptography, one formalizes the notion of an adversary's success probability being "too small to matter" by asking that it be a negligible function ...
Mihir Bellare