2520 search results - page 241 / 504 » Model-checking behavioral programs |
192
Voted
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
The goal of this research is to develop performance profiles of parallel and distributed applications in order to predict their execution time under different network conditions....
165
click to vote
ECOOP
2007
Springer
16 years 24 days ago
2007
Springer
All software systems are subject to evolution, independently by the developing technique. Aspect oriented software in addition to separate the different concerns during the softwar...
202
click to vote
EUROGP
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents a method of using genetic programming to seek new cellular automata that perform computational tasks. Two genetic algorithms are used : the first one discovers ...
146
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...
136
click to vote
SP
1996
IEEE
15 years 10 months ago
1996
IEEE
A method for anomaly detection is introduced in which "normal" is defined by short-range correlations in a process' system calls. Initial experiments suggest that t...