2943 search results - page 109 / 589 » Software Implementation of Synchronous Programs |
132
click to vote
ITNG
2010
IEEE
15 years 7 months ago
2010
IEEE
—There are several institutions that accredit educational programs and require documentation to ensure that an educational program regularly meets certain criteria. This paper fo...
145
Voted
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...
253
Voted
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
187
Voted
POPL
2001
ACM
16 years 2 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
There are many different implementation approaches to realize the vision of feature oriented software development, ranging from simple preprocessors, over feature-oriented program...