292 search results - page 58 / 59 » Property Verification for Generic Access Control Models |
EUROSYS
2010
ACM
14 years 1 months ago
2010
ACM
A complex software system typically has a large number of objects in the memory, holding references to each other to implement an object model. Deciding when the objects should be...
CC
2006
Springer
14 years 5 days ago
2006
Springer
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...
WSCG
2004
13 years 9 months ago
2004
Free form shapes are often used to fulfil both aesthetic and design constraints applied to parametric models currently adopted in CAD environments. Up to now, designers and engine...
IMCS
2007
13 years 8 months ago
2007
Purpose – Security information management systems (SIMs) have been providing a unified distributed platform for the efficient management of security information produced by co...
IEEEMM
2002
13 years 8 months ago
2002
measuring the product's "lower abstraction attributes."5 We see attributes as measurable properties of an entity--here, a Web application--and propose using a qualit...