2881 search results - page 512 / 577 » Model Checking for Programming Languages using Verisoft |
114
click to vote
ASPLOS
2009
ACM
15 years 9 months ago
2009
ACM
This paper explores the architectural implications of integrating computation and molecular probes to form nanoscale sensor processors (nSP). We show how nSPs may enable new compu...
112
Voted
TOOLS
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we introduce MaDcAr, a model of engines for dynamic and automatic (re)assembling of component-based software. In MaDcAr, an application description consists of the d...
113
click to vote
CSFW
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
136
click to vote
EPIA
2003
Springer
15 years 7 months ago
2003
Springer
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarat...
127
click to vote
ASPLOS
2000
ACM
15 years 6 months ago
2000
ACM
One of the major challenges of post-PC computing is the need to reduce energy consumption, thereby extending the lifetime of the batteries that power these mobile devices. Memory ...