265 search results - page 46 / 53 » A Temporal Logic Based Framework for Intrusion Detection |
EAGC
2003
Springer
14 years 23 days ago
2003
Springer
The complexity of Grid environments is growing as more projects and applications appear in this quick-evolving domain. Widespread applications are distributed over thousands of com...
WONS
2005
IEEE
14 years 1 months ago
2005
IEEE
Due to the mobility of nodes in Ad hoc networks, network topology is dynamic and unpredictable, which leads to frequent network partitioning. This partitioning disconnects many no...
DAGM
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents a practical system for vision-based traffic scene analysis from a moving vehicle based on a cognitive feedback loop which integrates real-time geometry estimati...
FORTE
2009
13 years 5 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— Modern cities are becoming increasingly networked Network Operator and the Service Providers can introduce environments and a plethora of computing equipment interacts their ow...