1239 search results - page 145 / 248 » Applying Model Checking to Concurrent UML Models |
120
Voted
ISARCS
2010
15 years 6 months ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
227
Voted
ICDE
2007
IEEE
16 years 4 months ago
2007
IEEE
requirement. Furthermore, programming using sequence constructs normally produce nested structures and The current approachfor modeling synchronization in scattered code, especiall...
143
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
Functional validation is a major bottleneck in pipelined processor design. Simulation using functional test vectors is the most widely used form of processor validation. While exi...
115
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
The purpose of this paper is to propose visual models for a web application using Java and XML related technologies. We consider a web application that uses 3tier architecture and...
120
Voted
ICCSA
2005
Springer
15 years 8 months ago
2005
Springer
Genetic Studies examine relationships between genetic variation and disease development. Pharmacogenetics studies the responses to drugs against genetic variation. These two lines ...