3667 search results - page 374 / 734 » Software Rejuvenation - Modeling and Analysis |
186
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
138
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
This paper presents a novel run-time dynamic voltage scaling scheme for low-power real-time systems. It employs software feedback control of supply voltage, which is applicable to...
182
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
177
click to vote
UIST
2009
ACM
16 years 1 months ago
2009
ACM
We present Collabio, a social tagging game within an online social network that encourages friends to tag one another. Collabio’s approach of incentivizing members of the social...
237
click to vote
SCCC
2008
IEEE
16 years 1 months ago
2008
IEEE
Domain-Specific Languages (DSLs) are high level languages defined for combining expressivity and simplicity by means of constructs which are close to the problem domain and distan...