367 search results - page 60 / 74 » Industrial validation of COVAMOF |
147
click to vote
JOI
2008
15 years 5 months ago
2008
The relationship between science and technology has been extensively studied from both theoretical and quantitative perspectives. Quantitative studies typically use patents as pro...
169
click to vote
MAGS
2008
15 years 5 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
140
click to vote
JSS
2006
15 years 5 months ago
2006
Many claims have been made about the consequences of not documenting design rationale. The general perception is that designers and architects usually do not fully understand the ...
164
click to vote
EMSOFT
2007
Springer
16 years 1 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
176
click to vote
ISPASS
2006
IEEE
15 years 12 months ago
2006
IEEE
Applications in Computer Networks often require high throughput access to large data structures for lookup and classification. Many advanced algorithms exist to speed these searc...