360 search results - page 9 / 72 » Detecting Intrusions Specified in a Software Specification L... |
176
click to vote
POPL
2006
ACM
15 years 10 months ago
2006
ACM
C++ templates are key to the design of current successful mainstream libraries and systems. They are the basis of programming techniques in diverse areas ranging from conventional...
AMAST
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. This paper shows how systems can be built from their component parts with specified sharing. Its principle contribution is a modular language for configuring systems. A c...
SERP
2004
14 years 11 months ago
2004
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...
FM
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
102
click to vote
SIGMOD
1993
ACM
15 years 1 months ago
1993
ACM
Abstract: We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimizatio...