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...
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...
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-...
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...
— 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...