15792 search results - page 271 / 3159 » Computational Abstraction Steps |
227
click to vote
ATS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--To achieve a high product quality for nano-scale systems both realistic defect mechanisms and process variations must be taken into account. While existing approaches for...
219
click to vote
QEST
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
228
click to vote
ICFEM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
210
click to vote
ICWS
2009
IEEE
15 years 5 months ago
2009
IEEE
Web service paradigm and related technologies have provided favorable means for the realization of collaborative business processes. From both conceptual and implementation points...
177
click to vote
ADHOCNOW
2009
Springer
16 years 1 months ago
2009
Springer
The aim of this paper is to design efficient gathering algorithms (data collection) in a Base Station of a wireless multi hop grid network when interferences constraints are presen...