2799 search results - page 387 / 560 » MAMS Service Framework |
162
click to vote
CIKM
2003
Springer
15 years 11 months ago
2003
Springer
We present a general model and information server for the digital annotation of printed documents. The resulting annotation framework supports both informal and structured annotat...
187
click to vote
FTDCS
1999
IEEE
15 years 11 months ago
1999
IEEE
The process of component integrationfor distributed application sofrware development requires identifying the candidate components and performing compatibility checks based on the...
157
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...
201
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...
194
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...