2838 search results - page 87 / 568 » Verifying Controlled Components |
COORDINATION
2009
Springer
14 years 9 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
CCS
2009
ACM
14 years 1 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
OTM
2007
Springer
14 years 3 months ago
2007
Springer
We show how Semantic Web technologies can be used to build an access control system. We follow the role-based access control approach (RBAC) and extend it with contextual attribute...
IJCAI
2001
13 years 10 months ago
2001
Certain planning systems that deal with quantitative time constraints have used an underlying Simple Temporal Problem solver to ensure temporal consistency of plans. However, many...
CSCWD
2005
Springer
14 years 2 months ago
2005
Springer
Distributed systems generally require their component parts to interact cooperatively, in order for the system as a whole to function effectively. For any given activity, several ...