4224 search results - page 705 / 845 » Reasoning about Choice |
113
Voted
IANDC
2007
15 years 23 days ago
2007
We investigate the complexity and expressive power of a spatial logic for reasoning about graphs. This logic was previously introduced by Cardelli, Gardner and Ghelli, and provide...
95
Voted
PUC
2006
15 years 22 days ago
2006
The requirement for spontaneous interaction in ubiquitous computing creates security issues over and above those present in other areas of computing, deeming traditional approaches...
81
Voted
IJCSA
2007
15 years 22 days ago
2007
Power system defensive islanding is an efficient way to avoid catastrophic wide area blackouts, such as the 2003 North American Blackout. Finding defensive islands of large-scale ...
114
Voted
IJISEC
2007
15 years 22 days ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
117
Voted
IJMMS
2007
15 years 22 days ago
2007
Much has been written of the facilities for ontology building and reasoning offered for ontologies expressed in the Web Ontology Language (OWL). Less has been written about how th...