4036 search results - page 342 / 808 » Formal Methods |
163
click to vote
B
2007
Springer
16 years 27 days ago
2007
Springer
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ...
180
click to vote
CSL
2007
Springer
16 years 27 days ago
2007
Springer
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...
182
click to vote
FMICS
2007
Springer
16 years 27 days ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
205
click to vote
ACL2
2006
ACM
16 years 21 days ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
192
click to vote
APSEC
2005
IEEE
16 years 10 days ago
2005
IEEE
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...