8109 search results - page 212 / 1622 » A Model of Component-Based Programming |
168
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
193
click to vote
SP
1999
IEEE
15 years 10 months ago
1999
IEEE
There is often the need to update an installed Intrusion Detection System (IDS) due to new attack methods or upgraded computing environments. Since many current IDSs are construct...
140
click to vote
AOSD
2005
ACM
15 years 12 months ago
2005
ACM
Even when working on a well-modularized software system, programmers tend to spend more time navigating the code than working with it. This phenomenon arises because it is impossi...
168
click to vote
JELIA
2000
Springer
15 years 10 months ago
2000
Springer
We present a framework for decision making with the possibility to express circumstance-dependent preferences among different alternatives for a decision. This new formalism, Order...
150
click to vote
LCTRTS
2004
Springer
15 years 11 months ago
2004
Springer
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...