4762 search results - page 724 / 953 » About the use of protein models |
119
Voted
NDSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Coordinated attacks, where the tasks involved in an attack are distributed amongst multiple sources, can be used by an adversary to obfuscate his incursion. In this paper we prese...
123
click to vote
ICSM
2009
IEEE
15 years 8 months ago
2009
IEEE
Existing studies on the maintenance of open source projects focus primarily on the analyses of the overall maintenance of the projects and less on specific categories like the co...
115
click to vote
AIED
2009
Springer
15 years 8 months ago
2009
Springer
Design of collaborative learning (CL) scenarios is a complex task, but necessary if the goal of the collaboration is learning. Creating well-thought-out CL scenarios requires exper...
SLE
2009
Springer
15 years 8 months ago
2009
Springer
In consequence of changing requirements and technological progress, software languages are subject to change. The changes affect the language’s specification, which in turn a...
107
click to vote
SPIN
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...