126 search results - page 9 / 26 » Using Formal Tools to Study Complex Circuits Behaviour |
109
click to vote
CORR
2006
Springer
14 years 11 months ago
2006
Springer
The design of complex Systems-on-Chips implies to take into account communication and memory access constraints for the integration of dedicated hardware accelerator. In this paper...
123
Voted
TDSC
2008
14 years 11 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
SEMWEB
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Much data is published on the Web in XML format satisfying schemas, and to make the Semantic Web a reality, such data needs to be interpreted with respect to ontologies. ...
82
Voted
CAV
2009
Springer
16 years 6 days ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
ENTCS
2008
14 years 11 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...