1492 search results - page 96 / 299 » Automatic Software Model Checking Using CLP |
ACISICIS
2010
IEEE
14 years 11 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...
ICFEM
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
108
click to vote
SAC
2010
ACM
15 years 5 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
84
Voted
WICSA
2008
14 years 11 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...
97
Voted
SBMF
2009
Springer
15 years 4 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...