Sciweavers

1791 search results - page 19 / 359
» Behavioral Operations
Sort
View
ENTCS
2008
142views more  ENTCS 2008»
13 years 7 months ago
An Open System Operational Semantics for an Object-Oriented and Component-Based Language
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
Jasmin Christian Blanchette, Olaf Owe
CAISE
2009
Springer
14 years 2 months ago
Verifying Action Semantics Specifications in UML Behavioral Models
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
Elena Planas, Jordi Cabot, Cristina Gómez
JUCS
2006
108views more  JUCS 2006»
13 years 7 months ago
Defining Atomic Composition in UML Behavioral Diagrams
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...
Júlio Henrique Araújo Pereira Machad...
IROS
2006
IEEE
166views Robotics» more  IROS 2006»
14 years 1 months ago
Obstacle Avoidance Behavior for a Biologically-inspired Mobile Robot Using Binaural Ultrasonic Sensors
– Many untethered mobile robots require an operator’s vision and intelligence for guidance and navigation. Animals and insects, however, use sensory systems such as hearing, an...
William A. Lewinger, Michael S. Watson, Roger D. Q...
IJON
2006
82views more  IJON 2006»
13 years 7 months ago
Modeling single neuron behavior using stochastic differential equations
We model the intrinsic dynamic behavior of a neuron using stochastic differential equations and Brownian motion. Basis of our work is the deterministic one-compartmental multi-con...
Antti Saarinen, Marja-Leena Linne, Olli Yli-Harja