3172 search results - page 472 / 635 » Combining Specification Techniques for Processes, Data and T... |
186
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
This paper presents a system deployed on parallel clusters to manage a collection of parallel simulations that make up a computational study. It explores how such a system can ext...
156
click to vote
MABS
2004
Springer
15 years 11 months ago
2004
Springer
Since Holland (1993) introduced the concept of tags as a possible cooperation forming mechanism in evolving system (among other things) a number of tag models with intriguing, and ...
174
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
173
click to vote
ACSAC
2006
IEEE
16 years 15 days ago
2006
IEEE
Modern malware often hide the malicious portion of their program code by making it appear as data at compiletime and transforming it back into executable code at runtime. This obf...
227
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...