1226 search results - page 225 / 246 » Proofs, Programs and Abstract Complexity |
106
click to vote
MODELS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Predefined composite operations are handy for efficient modeling, e.g., for the automatic execution of refactorings, and for the introduction of patterns in existing mod...
123
click to vote
CAPTECH
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. This paper presents a new technique for computing collisionfree navigation motions from task-level commands for animated human characters in interactive virtual environme...
CIS
2009
Springer
15 years 3 months ago
2009
Springer
Abstract-- As viruses become more complex, existing antivirus methods are inefficient to detect various forms of viruses, especially new variants and unknown viruses. Inspired by i...
FASE
2009
Springer
15 years 3 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
ICCSA
2007
Springer
15 years 3 months ago
2007
Springer
Coupled systems comprise multiple interacting subsystems and are an increasingly common computational science application, most notably as multiscale and multiphysics models. Paral...