1974 search results - page 224 / 395 » Conditional Purchase Orders |
213
click to vote
ESOP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
194
click to vote
INFOVIS
2003
IEEE
15 years 11 months ago
2003
IEEE
We introduce an approach to visual analysis of multivariate data that integrates several methods from information visualization, exploratory data analysis (EDA), and geovisualizat...
141
Voted
MSS
2000
IEEE
15 years 10 months ago
2000
IEEE
Data archivists expect information storage media to have a lifetime greater than ten years. Furthermore they desire the ability to predict when the media will fail in order to pla...
200
click to vote
RTAS
1997
IEEE
15 years 9 months ago
1997
IEEE
ÐReal-time middleware services must guarantee predictable performance under specified load and failure conditions, and ensure graceful degradation when these conditions are violat...
176
Voted
ESEM
2007
ACM
15 years 9 months ago
2007
ACM
Empirical studies are crucial to gain evidence on the effects of software engineering methods and tools in defined contexts. However, empirical studies can be costly and thus need...