1027 search results - page 160 / 206 » Callgraph properties of executables |
133
click to vote
DFKI
2005
Springer
15 years 6 months ago
2005
Springer
It is widely accepted in Distributed Artificial Intelligence that a crucial property of artificial agents is their autonomy. Whereas agent autonomy enables features of agent-base...
108
click to vote
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
We describe a general approach for defining new temporal specification languages, and adopting existing languages, for SystemC. We define the concept of "underlying trace"...
161
Voted
ISSTA
2007
ACM
15 years 5 months ago
2007
ACM
Progress in testing requires that we evaluate the effectiveness of testing strategies on the basis of hard experimental evidence, not just intuition or a priori arguments. Random ...
135
click to vote
APBC
2007
15 years 5 months ago
2007
ibe an abstract data model of protein structures by representing the geometry of proteins using spatial data types and present a framework for fast structural similarity search bas...
121
click to vote
BILDMED
2007
15 years 5 months ago
2007
Abstract. In the last decades there has been tremendous research towards the design of fully automatic non-rigid registration schemes. However, apart from the ITK based implementat...