2500 search results - page 358 / 500 » Specifying Behavior in C |
116
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Second Life is an online virtual world that is gaining popularity in academic institutions as an alternative means for collaborative and distance education. However, the number of...
148
Voted
WWW
2009
ACM
15 years 10 months ago
2009
ACM
Detection of web attacks is an important issue in current defense-in-depth security framework. In this paper, we propose a novel general framework for adaptive and online detectio...
107
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Many programs operate reactively, patiently waiting for user input, subsequently running for a while producing output, and eventually returning to a state where they are ready to ...
139
Voted
ICAC
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we construct an evaluation framework for a self-healing system, VM-Rejuv – a virtual machine based rejuvenation scheme for web-application servers – using simple...
154
Voted
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...