2834 search results - page 379 / 567 » Design Intent-Oriented Modelling Tools for Aesthetic Design |
148
click to vote
JCS
2008
15 years 4 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
130
click to vote
DGO
2008
15 years 6 months ago
2008
The Florida Public Hurricane Loss Model (FPHLM) developed in the State of Florida offers an open, public and effective tool for the government to regulate the insurance ratemaking...
152
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
171
click to vote
VLSID
2008
IEEE
15 years 11 months ago
2008
IEEE
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...
192
click to vote
PPOPP
2011
ACM
14 years 7 months ago
2011
ACM
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...