769 search results - page 131 / 154 » A Machine Model for Aspect-Oriented Programming |
105
click to vote
CUZA
2002
14 years 9 months ago
2002
In this paper we present a mechanism for serializing the execution-state of a distributed Java application that is implemented on a conventional Object Request Broker (ORB) archite...
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
104
click to vote
IEEEIAS
2008
IEEE
15 years 3 months ago
2008
IEEE
To achieve high accuracy while lowering false alarm rates are major challenges in designing an intrusion detection system. In addressing this issue, this paper proposes an ensembl...
CSMR
2007
IEEE
15 years 3 months ago
2007
IEEE
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
MICRO
2002
IEEE
15 years 2 months ago
2002
IEEE
To find the best designs, architects must rapidly simulate many design alternatives and have confidence in the results. Unfortunately, the most prevalent simulator construction ...