292 search results - page 32 / 59 » Property Verification for Generic Access Control Models |
130
click to vote
WSCG
2000
15 years 4 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...
112
click to vote
ISPEC
2005
Springer
15 years 8 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...
118
click to vote
SIGSOFT
2009
ACM
16 years 4 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...
257
click to vote
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...
131
click to vote
EKAW
2010
Springer
15 years 1 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...