530 search results - page 39 / 106 » Security Analysis of Open Building Automation Systems |
SELMAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
AOSE
2001
Springer
15 years 2 months ago
2001
Springer
Two key issues in building multi-agent systems concern their scalability and engineering open systems. We offer solutions to these potential problems by introducing a lifecycle fo...
102
click to vote
CADE
2009
Springer
15 years 10 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
ICECCS
2009
IEEE
15 years 4 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
ACSAC
2010
IEEE
14 years 7 months ago
2010
IEEE
Current post-mortem cyber-forensic techniques may cause significant disruption to the evidence gathering process by breaking active network connections and unmounting encrypted di...