Sciweavers

3693 search results - page 334 / 739
» Paper on the Move
Sort
View
ENGL
2008
70views more  ENGL 2008»
15 years 6 months ago
Modeling, Control and Simulation of a Novel Mobile Robotic System
Abstract--We are developing an autonomous mobile robotic system to emulate six degree of freedom relative spacecraft motion during proximity operations. A mobile omni-directional b...
Xiaoli Bai, Jeremy J. Davis, James Doebbler, James...
ENTCS
2008
102views more  ENTCS 2008»
15 years 6 months ago
Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...
Alexander Kurz, Daniela Petrisan
ENTCS
2008
118views more  ENTCS 2008»
15 years 6 months ago
Barbed Model-Driven Software Development: A Case Study
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...
Carlo Montangero, Laura Semini
CAI
2006
Springer
15 years 6 months ago
Analysis and Design of Mobile Collaborative Applications Using Contextual Elements
Collaborative mobile applications support users on the move in order to perform a collaborative task. One of the challenges when designing such applications is to consider the cont...
Rosa Alarcón, Luis A. Guerrero, Sergio F. O...
COMCOM
2006
140views more  COMCOM 2006»
15 years 6 months ago
A combined delay and throughput proportional scheduling scheme for differentiated services
Abstract--The proportional differentiation model is a newly introduced approach for differentiated services networks. This paper proposes and evaluates a scheduling mechanism for t...
Ahmed E. Kamal, Samyukta Sankaran