301 search results - page 21 / 61 » From description to requirements: an activity theoretic pers... |
ACMICEC
2005
ACM
15 years 3 months ago
2005
ACM
Electronic commerce applications (e-commerce) need connecting technologies to support the external, agreed-upon or flexible business processes. This requires a specification of th...
ECAI
1998
Springer
15 years 1 months ago
1998
Springer
Abstract: Lazy computation is not new in model-based diagnosis of active systems (and of discreteevent systems in general). Up to a decade ago, diagnosis methods for discrete-event...
77
Voted
ESOP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
147
click to vote
MC
2001
14 years 11 months ago
2001
The computer support of cooperation and knowledge production across socially distributed activity systems has become an important topic in the context of the discourse on ,,knowle...
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper seeks to develop an integrated perspective on knowledge management (KM) project measurement. Based on a review of the existing literature, a theoretical framework which...