432 search results - page 45 / 87 » Interaction Abstraction for Compositional Finite State Syste... |
FATES
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
MICCAI
2000
Springer
13 years 11 months ago
2000
Springer
Augmented surgical manipulation tasks can be viewed as a sequence of smaller, steps driven primarily by the surgeon's input. These steps can be abstracted as controlled intera...
CONCUR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
SOCO
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The ability to debug programs composed using aspect-oriented programming (AOP) techniques is critical to the adoption of AOP. Nevertheless, many AOP systems lack adequate...
SMILE
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. We present some recent progress in designing and implementing two interactive image-based 3D modeling systems. The first system constructs 3D models from a collection of ...