862 search results - page 40 / 173 » Model Checking Interrupt-Dependent Software |
CBSE
2008
Springer
13 years 9 months ago
2008
Springer
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...
ICFEM
2009
Springer
14 years 2 months ago
2009
Springer
Flash File Store Paul Taverne and C. (Kees) Pronk Report TUD-SERG-2009-033 SERG
ACISICIS
2010
IEEE
13 years 9 months ago
2010
IEEE
Recently, software size becomes larger, and consequently, not only a software developer but also a software purchaser suffers considerable losses by software project failure. So av...
WICSA
2008
13 years 9 months ago
2008
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
FOSSACS
2007
Springer
14 years 1 months ago
2007
Springer
