1407 search results - page 158 / 282 » Towards Usable Analysis, Design and Modeling Tools |
143
click to vote
ECBS
2006
IEEE
15 years 10 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...
176
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: It has become increasingly apparent that a comprehensive database of RNA motifs is essential in order to achieve new goals in genomic and proteomic research. Secondary...
136
click to vote
AVI
2004
15 years 7 months ago
2004
The continuing trend toward greater processing power, larger storage, and in particular increased display surface by using multiple monitor supports increased multi-tasking by the...
186
click to vote
SACMAT
2009
ACM
16 years 21 days ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...
154
click to vote
FTCS
1998
15 years 7 months ago
1998
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...