Sciweavers

4454 search results - page 570 / 891
» Designing components for e-services
Sort
View
JLP
2006
126views more  JLP 2006»
15 years 6 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
JNW
2006
85views more  JNW 2006»
15 years 6 months ago
Seamless Handoff Solution For Nested Mobile Networks
Ensuring seamless mobility for users is becoming one of the main objectives of ongoing research activities in the field of data telecommunications. More over, if some proposals are...
Mehdi Sabeur, Badii Jouaber, Djamal Zeghlache
JOT
2006
74views more  JOT 2006»
15 years 6 months ago
Support for Object Oriented Transactions in Timor
An important aim in the design of the Timor programming language is to provide programmers with features which enable them to build complex systems from components which can be de...
James Leslie Keedy, Klaus Espenlaub, Christian Hei...
ET
2007
123views more  ET 2007»
15 years 6 months ago
Defect-tolerant Logic with Nanoscale Crossbar Circuits
Crossbar architectures are one approach to molecular electronic circuits for memory and logic applications. However, currently feasible manufacturing technologies introduce numero...
Tad Hogg, Greg Snider
MVA
2006
15 years 6 months ago
The Agile Stereo Pair for active vision
This paper presents a new stereo sensor for active vision. Its cameras are mounted on two independent 2-DOF manipulators, themselves mounted on two translation stages. The system i...
Eric Samson, Denis Laurendeau, Marc Parizeau, Sylv...