752 search results - page 93 / 151 » Abstract models for dialogue protocols |
168
click to vote
ERCIMDL
2004
Springer
15 years 10 months ago
2004
Springer
The paper presents a comparative analysis of data harvesting and distributed computing as complementary models of service delivery within large-scale federated digital libraries. I...
144
click to vote
IJSNET
2007
15 years 5 months ago
2007
Abstract: Wireless sensor networks are often based on omni-sensing and communication models. In contrast, in this paper, we investigate sensor networks with directional sensing and...
165
click to vote
WSC
2004
15 years 6 months ago
2004
Simulation and Emulation techniques are fundamental to aid the process of large-scale protocol design and network operations. However, the results from these techniques are often ...
148
click to vote
ENTCS
2006
15 years 5 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
164
click to vote
ESORICS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...