Sciweavers

4286 search results - page 314 / 858
» Formalizing Service Interactions
Sort
View
ACISP
2009
Springer
16 years 1 months ago
Towards Denial-of-Service-Resilient Key Agreement Protocols
Denial of service resilience is an important practical consideration for key agreement protocols in any hostile environment such as the Internet. There are well-known models that ...
Douglas Stebila, Berkant Ustaoglu
IJBRA
2007
120views more  IJBRA 2007»
15 years 6 months ago
The myGrid ontology: bioinformatics service discovery
: In this paper we explore issues in the development of the my Grid ontology, which is an OWL ontology designed to support service discovery through service annotation. There are c...
Katy Wolstencroft, Pinar Alper, Duncan Hull, Chris...
PERCOM
2008
ACM
16 years 6 months ago
Protecting Users' Anonymity in Pervasive Computing Environments
The large scale adoption of adaptive services in pervasive and mobile computing is likely to be conditioned to the availability of reliable privacy-preserving technologies. Unfort...
Linda Pareschi, Daniele Riboni, Claudio Bettini
SETN
2010
Springer
16 years 1 months ago
Task-Based Dependency Management for the Preservation of Digital Objects Using Rules
The preservation of digital objects is a topic of prominent importance for archives and digital libraries. This paper focuses on the problem of preserving the performability of tas...
Yannis Tzitzikas, Yannis Marketakis, Grigoris Anto...
ICSOC
2007
Springer
16 years 22 days ago
Stochastic COWS
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...
Davide Prandi, Paola Quaglia