1042 search results - page 76 / 209 » Can Aspects Implement Contracts |
COMPSAC
2009
IEEE
14 years 4 months ago
2009
IEEE
—In this paper, we define and illustrate a new form of attack in the context of software services: the software-based need-to-know (SN2K) attack. SN2K attacks can be carried out...
FM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
CSMR
2004
IEEE
14 years 1 months ago
2004
IEEE
Language integration is an important issue in the area of software maintenance and reengineering. We describe a novel solution in this area: automatically applied and composed spl...
BIBE
2007
IEEE
14 years 4 months ago
2007
IEEE
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...
CSFW
2007
IEEE
14 years 4 months ago
2007
IEEE
Interrupt-driven communication with hardware devices can be exploited for establishing covert channels. In this article, we propose an information-theoretic framework for analyzin...