2662 search results - page 53 / 533 » Objects-early tools: a demonstration |
ECIS
2000
14 years 11 months ago
2000
- Events are at the core of reactive applications, which have become popular in many domains. Contemporary modeling tools lack the capability express the event semantics and relati...
CADE
2010
Springer
14 years 11 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
SMI
2010
IEEE
14 years 7 months ago
2010
IEEE
This paper presents a benchmarking system for the evaluation of robust mesh watermarking methods. The proposed benchmark has three different components: a "standard" mesh...
EUROPAR
2009
Springer
14 years 7 months ago
2009
Springer
Profiling tools relate measurements to code context such as function names in order to guide code optimization. For a more detailed analysis, call path or phase-based profiling enh...
CRYPTO
2011
Springer
13 years 9 months ago
2011
Springer
In this paper, we describe versatile and powerful algorithms for searching guess-and-determine and meet-in-the-middle attacks on byte-oriented symmetric primitives. To demonstrate ...