1681 search results - page 115 / 337 » Formal Design of Distributed Control Systems with Lustre |
CDC
2008
IEEE
14 years 5 months ago
2008
IEEE
— This paper describes reachability calculations for a hybrid system formalism governing UAVs interacting with another vehicle in a safety-critical situation. We examine this pro...
HPTS
1993
14 years 2 months ago
1993
Elements of transaction processing become more and more accepted as a base for general purpose distributed computing.We have developed an action concept with an extended functiona...
SEKE
2001
Springer
14 years 3 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
INFOCOM
2005
IEEE
14 years 4 months ago
2005
IEEE
— To proactively defend against intruders from readily jeopardizing single-path data sessions, we propose a distributed secure multipath solution to route data across multiple pa...
CCS
2000
ACM
14 years 3 months ago
2000
ACM
Conventional firewalls rely on topology restrictions and controlled network entry points to enforce traffic filtering. Furthermore, a firewall cannot filter traffic it does ...