Sciweavers

3008 search results - page 133 / 602
» Mechanisms for Importing Modules
Sort
View
ENTCS
2006
135views more  ENTCS 2006»
15 years 4 months ago
Formal Semantics and Analysis of Component Connectors in Reo
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...
Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arba...
ENTCS
2006
140views more  ENTCS 2006»
15 years 4 months ago
An Aspect-Oriented Approach to Modular Behavioral Specification
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...
Kiyoshi Yamada, Takuo Watanabe
NPL
2000
146views more  NPL 2000»
15 years 4 months ago
Competitive and Temporal Inhibition Structures with Spiking Neurons
The paper describes the implementation of competitive neural structures based on a spiking neural model that includes multiplicative or shunting synapses enabling non-saturated sta...
Eduardo Ros Vidal, Francisco J. Pelayo, P. Martin-...
MR
2007
79views Robotics» more  MR 2007»
15 years 4 months ago
Reliability of spring pressure contacts under environmental stress
Spring contacts are an excellent solution for connecting a power module with a printed circuit board (PCB). They can be applied in a wide current range from sensor currents of a f...
F. Lang, U. Scheuermann
ICRA
2010
IEEE
153views Robotics» more  ICRA 2010»
15 years 3 months ago
Communication-based leashing of real flying robots
—— Aerial robots are often required to remain within the communication range of a base station on the ground to exchange commands, sensor data or as a safety mechanism. For this...
Sabine Hauert, Severin Leven, Jean-Christophe Zuff...