3073 search results - page 97 / 615 » Real World Verification |
134
click to vote
HICSS
1998
IEEE
15 years 8 months ago
1998
IEEE
A review of the various models of New Product Development (NPD) process shows that although different approaches have been proposed, they are in fact all variants on a linear them...
125
click to vote
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Verifying Web Services (WS) in a dynamic Service Oriented Architecture (SOA) is challenging because new services can be composed at runtime using existing WS. Furthermore, in a co...
149
click to vote
VLSID
2000
IEEE
15 years 7 months ago
2000
IEEE
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
167
Voted
ANTSW
2010
Springer
15 years 2 months ago
2010
Springer
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, d...
145
Voted
FM
1997
Springer
15 years 8 months ago
1997
Springer
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...