788 search results - page 46 / 158 » Design and use of a system-level specification and verificat... |
168
click to vote
POPL
2000
ACM
15 years 9 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
158
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Circuits using nano-meter technologies are becoming increasingly vulnerable to signal interference from multiple noise sources as well as radiation-induced soft errors. One way to...
170
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper proposes a novel methodology tailored to design embedded systems, taking into account the emerging market needs, such as hw/sw partitioning, object-oriented specificati...
160
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
Measuring the accuracy of biometrics systems is important. Accuracy estimates depend very much on the quality of the test data that are used. Including poor quality data will degr...
162
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...