2935 search results - page 196 / 587 » An Integrated Approach to High Integrity Software Verificati... |
171
click to vote
FATES
2005
Springer
16 years 3 days ago
2005
Springer
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
227
click to vote
SOFTVIS
2010
ACM
15 years 6 months ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
216
click to vote
ISVLSI
2005
IEEE
16 years 5 days ago
2005
IEEE
high NRE cost. Therefore, general purpose programmable processors using software to perform various functions become more attractive since programmability can simplify system devel...
193
click to vote
SELMAS
2005
Springer
16 years 1 days ago
2005
Springer
In this paper, we demonstrate a policy based approach for building and managing large scale agent based systems. We identify different classes of policies for agent based componen...
158
click to vote
FLAIRS
2006
15 years 8 months ago
2006
Context can be seen as a paradigm aiming to improve user interaction with software. For Web applications in particular, the issues of content explosion and technological constrain...