2790 search results - page 394 / 558 » The Human-Provided Services Framework |
154
click to vote
ISN
1998
Springer
15 years 10 months ago
1998
Springer
Enterprise models, based on the responsibilities and relationships underlying market activities, are used to provide a framework for representing and analysing the activity of bro...
197
click to vote
CSFW
1995
IEEE
15 years 10 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
190
click to vote
DICS
2006
15 years 8 months ago
2006
Abstract. Group communication is a programming abstraction that allows a distributed group of processes to provide a reliable service in spite of the possibility of failures within...
219
click to vote
ISIWI
2004
15 years 7 months ago
2004
Bibliometric analysis has a long tradition in the context of scientific communication (Hood and Wilson 2001). In current discussions related to the impact of research results one ...
127
click to vote
SIGMOBILE
2008
15 years 6 months ago
2008
In this paper we advocate a service paradigm, profile-cast, within the communication framework of delay tolerant networks (DTN)[2]. This novel approach leverages the behavioral pat...