Sciweavers

3008 search results - page 333 / 602
» Information and Control in Gray-Box Systems
Sort
View
DSN
2009
IEEE
16 years 1 months ago
Intrusion-tolerant self-healing devices for critical infrastructure protection
Critical infrastructures like the power grid are essentially physical processes controlled by electronic devices. In the last decades, these electronic devices started to be contr...
Paulo Sousa, Alysson Neves Bessani, Wagner Saback ...
IROS
2007
IEEE
113views Robotics» more  IROS 2007»
16 years 1 months ago
Valet parking without a valet
— What would it be like if we could give our robot high level commands and it would automatically execute them in a verifiably correct fashion in dynamically changing environmen...
David C. Conner, Hadas Kress-Gazit, Howie Choset, ...
NETWORKING
2000
15 years 8 months ago
Fairness and Aggregation: A Primal Decomposition Study
Abstract. We examine the fair allocation of capacity to a large population of best-effort connections in a typical multiple access communication system supporting some bandwidth on...
André Girard, Catherine Rosenberg, Mohammed...
179
Voted
CAISE
2010
Springer
15 years 7 months ago
Dynamic Authorisation Policies for Event-Based Task Delegation
Task delegation presents one of the business process security leitmotifs. It defines a mechanism that bridges the gap between both workflow and access control systems. There are tw...
Khaled Gaaloul, Ehtesham Zahoor, François C...
AOSD
2010
ACM
15 years 10 months ago
Program analysis environment for writing COBOL aspects
COBOL is still an important language for building mission critical enterprise systems, and there is huge amount of existing COBOL programs. We have been developing an aspect-orien...
Hideaki Shinomi, Yasuhisa Ichimori