10159 search results - page 369 / 2032 » System Design Validation Using Formal Models |
166
Voted
COMPOS
1997
Springer
15 years 8 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
128
click to vote
WSC
2001
15 years 5 months ago
2001
Semiconductor manufacturing is generally considered a cyclic industry. As such, individual producers able to react quickly and appropriately to market conditions will have a compe...
133
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
As the enabling technologies of autonomic computing continue to advance, it is imperative for researchers to exchange the details of their proposed techniques for designing, devel...
144
Voted
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
143
click to vote
ECIS
2004
15 years 5 months ago
2004
The development of business models for eBusiness has become increasing popular within both the academic and business arena. We believe that many of the business models for eBusine...