533 search results - page 36 / 107 » Protocol synthesis from timed and structured specifications |
171
click to vote
ICC
2000
IEEE
15 years 4 months ago
2000
IEEE
Wireless ad-hoc networks consist of mobile nodes forming a dynamically changing topology without any infrastructure. Multicasting in a wireless ad-hoc network is difficult and chal...
155
click to vote
BMCBI
2010
14 years 8 months ago
2010
Background: Circadian rhythms are 24 hour oscillations in many behavioural, physiological, cellular and molecular processes that are controlled by an endogenous clock which is ent...
117
click to vote
JOC
2008
15 years 1 months ago
2008
In the setting of concurrent self composition, a single protocol is executed many times concurrently by a single set of parties. In this paper, we prove lower bounds and impossibi...
101
click to vote
FMCAD
2000
Springer
15 years 4 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
108
click to vote
KBS
2002
15 years 29 days ago
2002
: We have constructed a set of ontologies modelled on conceptual structures elicited from several domain experts. Protocols were collected from various experts who advise on the se...