8658 search results - page 1317 / 1732 » Models of Command and Control |
174
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This paper presents a simple local medium access control protocol, called Jade, for multi-hop wireless networks with a single channel that is provably robust against adaptive adver...
155
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...
152
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
In some of the recently-developed algorithms for convex parametric quadratic programs it is implicitly assumed that the intersection of the closures of two adjacent critical regio...
154
click to vote
IANDC
2008
15 years 6 months ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...
173
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Bipolar synchronization systems (BP-systems) constitute a class of coloured Petri nets, well suited for modelling the control flow of discrete dynamical systems. Every BP-system ha...