1054 search results - page 30 / 211 » From a Verified Kernel towards Verified Systems |
120
Voted
COMCOM
1998
15 years 1 months ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...
107
click to vote
STORAGESS
2005
ACM
15 years 7 months ago
2005
ACM
Improper access of data buffers is one of the most common errors in programs written in assembler, C, C++, and several other languages. Existing programs and OSs frequently acces...
121
click to vote
SDM
2010
SIAM
15 years 3 months ago
2010
SIAM
Enterprises depend on their information workers finding valuable information to be productive. However, existing enterprise search and recommendation systems can exploit few studi...
124
click to vote
CSMR
2006
IEEE
15 years 8 months ago
2006
IEEE
Recovering the architecture is the first step towards reengineering a software system. Many reverse engineering tools use top-down exploration as a way of providing a visual and ...
114
click to vote
MKWI
2008
15 years 3 months ago
2008
: The advent of regulatory compliance requirements such as Sarbanes Oxley Act has forced enterprises to set up a process for managing an effective internal controls system on busin...