1472 search results - page 66 / 295 » Technique Integration for Requirements Assessment |
154
click to vote
TKDE
2008
15 years 5 months ago
2008
Secure chips, e.g., present in smart cards, USB dongles, i-buttons, are now ubiquitous in applications with strong security requirements. Moreover, they require embedded data manag...
138
click to vote
ECBS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
166
click to vote
FMAM
2010
15 years 3 months ago
2010
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
130
click to vote
DATE
2008
IEEE
16 years 9 days ago
2008
IEEE
We present a low-cost on-line system for clock skew management in integrated circuits. Our Built-In Clock Skew System (BICSS) uses a centralized approach to identify, quantify and...
159
click to vote
IVC
2006
15 years 5 months ago
2006
The aim of medical image registration is to bring different images into the best possible spatial correspondence in order to obtain complementary information for clinical applicat...