2935 search results - page 48 / 587 » An Integrated Approach to High Integrity Software Verificati... |
120
click to vote
SNPD
2003
15 years 5 months ago
2003
From the early design phase through the implementation performance assessment of software has been subject to a great variety of approaches in the past. Performance modeling artif...
121
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Historically, software application systems have been produced either individually tailored for the specific customer, or they have been adapted from standardized packages. This pa...
116
click to vote
GC
2004
Springer
15 years 7 months ago
2004
Springer
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...
176
click to vote
SBCCI
2005
ACM
15 years 9 months ago
2005
ACM
Higher integration densities, smaller feature lengths, and other technology advances, as well as architectural evolution, have made microprocessor cores exceptionally complex. Cur...
151
click to vote
TRUST
2009
Springer
15 years 10 months ago
2009
Springer
During many crises, access to sensitive emergency-support information is required to save lives and property. For example, for effective evacuations first responders need the name...