8555 search results - page 1442 / 1711 » Property Based Coordination |
205
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
185
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
224
click to vote
APNOMS
2008
Springer
15 years 8 months ago
2008
Springer
As network attacks have increased in number and severity over the past few years, intrusion detection system (IDS) is increasingly becoming a critical component to secure the netwo...
222
click to vote
ATC
2008
Springer
15 years 8 months ago
2008
Springer
To overcome the rising complexity of computing systems, the paradigms of Autonomic Computing and Organic Computing have been introduced. By using an observer/controller architectur...
180
click to vote
AUSAI
2008
Springer
15 years 8 months ago
2008
Springer
This paper introduces the controlled natural language PENG Light together with a language processor that is based on a bidirectional grammar. The language processor has the followi...