3256 search results - page 203 / 652 » Applications of Formal Methods to System Design and Verifica... |
152
click to vote
ACMDIS
2004
ACM
15 years 12 months ago
2004
ACM
Privacy is a difficult design issue that is becoming increasingly important as we push into ubiquitous computing environments. While there is a fair amount of theoretical work on ...
169
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
152
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Today, due to the increasing demand for more and more complex applications in the consumer electronic market segment, Systems-on-Chip consist of many processing elements and becom...
148
click to vote
FCSC
2007
15 years 6 months ago
2007
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...
139
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
One of the challenges for software architects is ensuring that an implemented system faithfully represents its architecture. We describe and demonstrate a tool, called DiscoTect, ...