700 search results - page 54 / 140 » Towards a theory of |
CSFW
2000
IEEE
14 years 23 days 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...
IADIS
2004
13 years 10 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
13 years 10 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...
WOA
2003
13 years 10 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...
COMPSYSTECH
2010
13 years 9 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...