4307 search results - page 327 / 862 » Dynamic Spyware Analysis |
137
click to vote
CAISE
2008
Springer
15 years 5 months ago
2008
Springer
A recent trend in Ubiquitous Computing is that embedded software (e.g. in production machines, wired or wireless networked sensors and actuators, or RFID readers) directly offers W...
156
Voted
CAV
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
139
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
155
click to vote
CAINE
2007
15 years 5 months ago
2007
Biologically focused, agent-based models need many parameters in order to simulate system dynamics. It is often essential to explore the consequences of many parameter vectors bef...
121
click to vote
CAINE
2007
15 years 5 months ago
2007
Realism has always been a goal in computer graphics. However, the algorithms involved in mimicking ical world are often complex, abstract, and sensitive to changes in experimental...