1349 search results - page 115 / 270 » Towards a theory of events |
116
click to vote
CSFW
2000
IEEE
15 years 4 months ago
2000
IEEE
Schneider's work on rank functions [14] provides a formal approach to verification of certain properties of a security protocol. However, he illustrates the approach only wit...
112
click to vote
IADIS
2004
15 years 2 months ago
2004
This paper proposes a pedagogical framework for informal language learning services via interactive television. We argue that mapping current language learning theories onto learn...
ECIS
2003
15 years 2 months ago
2003
Relationship analysis aims at supporting the eliciting and documenting of potential relationship structures of an application domain by providing analysts with a systematic techni...
119
click to vote
WOA
2003
15 years 2 months ago
2003
Abstract—This paper illustrates how the functionalities of monitoring/control systems, within an agent–based framework, can be improved by the adoption of Knowledge–Based tec...
115
click to vote
COMPSYSTECH
2010
15 years 1 months ago
2010
: Based on the study of different coordination theories and approaches and on the previous ethnographic case studies, authors identify certain types of coordination, which they int...