1102 search results - page 60 / 221 » Generalizing Updates: From Models to Programs |
117
Voted
TDSC
2010
14 years 7 months ago
2010
Although recent estimates are speaking of 200,000 different viruses, worms, and Trojan horses, the majority of them are variants of previously existing malware. As these variants m...
110
click to vote
ICA3PP
2005
Springer
15 years 5 months ago
2005
Springer
In the present work we describe architectural concepts of the distributed molecular simulation package GridMD. The main purpose of this work is to underline the construction patter...
107
click to vote
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program’s constants. We define a ...
101
Voted
SAC
2010
ACM
15 years 14 days ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...