Sciweavers

511 search results - page 66 / 103
» Finite System Composition and Interaction
Sort
View
ACSD
2009
IEEE
106views Hardware» more  ACSD 2009»
13 years 11 months ago
Specification Enforcing Refinement for Convertibility Verification
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
Partha S. Roop, Alain Girault, Roopak Sinha, Grego...
VL
2003
IEEE
151views Visual Languages» more  VL 2003»
14 years 2 months ago
JAN -Java animation for program understanding
JAN is a system for animated execution of Java programs. Its application area is program understanding rather than debugging. To this end, the animation can be customized, both by...
Klaus-Peter Löhr, André Vratislavsky
GG
2008
Springer
13 years 9 months ago
Network Applications of Graph Bisimulation
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...
Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto
JOT
2007
94views more  JOT 2007»
13 years 8 months ago
A Typing Scheme for Behavioural Models
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...
Ashley T. McNeile, Nicholas Simons
AROBOTS
1999
117views more  AROBOTS 1999»
13 years 8 months ago
AV-Shell, an Environment for Autonomous Robotic Applications Using Active Vision
Abstract. In this paper, we present a system called the Active Vision Shell (AV-shell) which provides a programming framework for expressing and implementing autonomous robotic tas...
Jeffrey A. Fayman, Ehud Rivlin, Henrik I. Christen...