7918 search results - page 1107 / 1584 » Model Composition Directives |
209
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
169
click to vote
ROBOCOMM
2007
IEEE
16 years 1 months ago
2007
IEEE
—Coalescence is the problem of isolated mobile robots independently searching for peers with the goal of forming a single connected network. This paper analyzes coalescence time ...
171
click to vote
SAINT
2007
IEEE
16 years 1 months ago
2007
IEEE
Peer-to-peer (P2P) is a system of overlay networks such that participants can potentially take symmetrical roles. This translates itself into a design based on the philosophy of L...
182
click to vote
ACISP
2007
Springer
16 years 1 months ago
2007
Springer
This paper improves the Finiasz-Vaudenay construction of TCHo, a hardware-oriented public-key cryptosystem, whose security relies on the hardness of finding a low-weight multiple ...
147
click to vote
CCIA
2007
Springer
16 years 1 months ago
2007
Springer
: In this paper we propose the use of an argument-based model – ProCLAIM – that has the potential to minimize ecological impact of industrial wastewater discharges into water b...