292 search results - page 32 / 59 » Property Verification for Generic Access Control Models |
WSCG
2000
13 years 9 months ago
2000
This paper presents a new, accurate, efficient and unified method for dynamic animation of one, two or three-dimensional deformable objects. The objects are modelled as d-dimensio...
ISPEC
2005
Springer
14 years 2 months ago
2005
Springer
Token-controlled public key encryption (TCPKE) schemes, introduced in [1], offer many possibilities of application in financial or legal scenarios. Roughly speaking, in a TCPKE s...
SIGSOFT
2009
ACM
14 years 9 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
Publication
Accessibility is a comprehensive measure of the interaction between land use and transportation
systems. It has been put forward as a performance-measure for evaluating the land u...
EKAW
2010
Springer
13 years 6 months ago
2010
Springer
The objectives of this paper are to present, describe, and explain the foundations and the functionalities of a temporal knowledge acquisition and modeling solution workflow, which...