285 search results - page 47 / 57 » Formalization of Network Quality-of-Service Requirements |
161
click to vote
CCS
2007
ACM
16 years 7 days ago
2007
ACM
We construct two new multiparty digital signature schemes that allow multiple signers to sequentially produce a compact, fixed-length signature. First, we introduce a new primiti...
150
click to vote
LPAR
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
158
click to vote
WIKIS
2006
ACM
16 years 11 hour ago
2006
ACM
Similarly to the Web Wikis have advanced from initially simple ad-hoc solutions to highly popular systems of widespread use. This evolution is reflected by the impressive number ...
176
click to vote
KCAP
2005
ACM
15 years 11 months ago
2005
ACM
Ontology mapping negotiation aims to achieve consensus among real-world entities about the process of transforming information between different models (ontologies). This paper de...
177
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a new model for mobile processes in occam-π. A process, embedded anywhere in a dynamically evolving network, may suspend itself mid-execution, be safely discon...