2935 search results - page 26 / 587 » An Integrated Approach to High Integrity Software Verificati... |
135
Voted
ANSS
2006
IEEE
15 years 10 months ago
2006
IEEE
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...
157
Voted
SCOPES
2007
Springer
15 years 10 months ago
2007
Springer
Various scratchpad allocation strategies have been developed in the past. Most of them target the reduction of energy consumption. These approaches share the necessity of having d...
164
click to vote
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
162
Voted
EWSPT
2003
Springer
15 years 9 months ago
2003
Springer
We present a new approach for the management and enactment of deployment process by a deployment processor ORYA (Open enviRonment to deploY Applications). ORYA aims to integrate te...
149
Voted
IWPC
2002
IEEE
15 years 9 months ago
2002
IEEE
Studying how a software system has evolved over time is difficult, time consuming, and costly; existing techniques are often limited in their applicability, are hard to extend, a...