485 search results - page 54 / 97 » A Model Checking Approach for Verifying COWS Specifications |
DASC
2006
IEEE
15 years 1 months ago
2006
IEEE
We present a new approach to ensure the secure execution of itinerary-driven mobile agents, in which the specification of the navigational behavior of an agent is separated from t...
EDBT
2006
ACM
15 years 10 months ago
2006
ACM
In authorization-transparent access control, users formulate their queries against the database schema rather than against authorization views that transform and hide data. The Tru...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
ICECCS
2007
IEEE
15 years 4 months ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
IJCSA
2006
14 years 9 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...