6599 search results - page 190 / 1320 » Towards a Theory of Information |
173
click to vote
CSFW
2000
IEEE
15 years 10 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...
156
click to vote
ECIS
2003
15 years 7 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...
171
click to vote
WOA
2003
15 years 7 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...
171
click to vote
COMPSYSTECH
2010
15 years 6 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...
166
click to vote
ENTCS
2008
15 years 6 months ago
2008
We define transactional graph transformation systems (t-gtss), a mild extension of the ordinary framework for the double-pushout approach to graph transformation, which allows to ...