12981 search results - page 2349 / 2597 » Model Checking (Abstract) |
130
Voted
ECMDAFA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Traceability is demanded within mature development processes and offers a wide range of advantages. Nevertheless, there are deterrents to establishing traceability: it c...
119
click to vote
SCA
2007
15 years 6 months ago
2007
We propose a method to automatically transform mesh animations into animation collages, i.e. moving assemblies of shape primitives from a database given by an artist. An animation...
149
click to vote
DLOG
2007
15 years 6 months ago
2007
Abstract. There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling ...
138
click to vote
LISA
2008
15 years 6 months ago
2008
Abstract-- With the prevalence of multi-user environments, it has become an increasingly challenging task to precisely identify who is doing what on an enterprise network. Current ...
130
click to vote
AFRICACRYPT
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In the context of iterated hash functions, "dithering" designates the technique of adding an iteration-dependent input to the compression function in order to d...