Sciweavers

2830 search results - page 354 / 566
» A Development Tool for E-learning Applications
Sort
View
ICRA
2009
IEEE
155views Robotics» more  ICRA 2009»
15 years 5 months ago
Automatic formation deployment of decentralized heterogeneous multi-robot networks with limited sensing capabilities
— Heterogeneous multi-robot networks require novel tools for applications that require achieving and maintaining formations. This is the case for distributing sensing devices wit...
Brian Stephen Smith, Jiuguang Wang, Magnus Egerste...
IPPS
2009
IEEE
15 years 5 months ago
MGST: A framework for performance evaluation of Desktop Grids
Desktop Grids are rapidly gaining popularity as a costeffective computing platform for the execution of applications with extensive computing needs. As opposed to grids and cluste...
Majd Kokaly, Issam Al-Azzoni, Douglas G. Down
WOLLIC
2009
Springer
15 years 5 months ago
Algebraic Valuations as Behavioral Logical Matrices
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...
Carlos Caleiro, Ricardo Gonçalves
CBSE
2009
Springer
15 years 5 months ago
Integrating Functional and Architectural Views of Reactive Systems
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
Jewgenij Botaschanjan, Alexander Harhurin
CSCWD
2009
Springer
15 years 5 months ago
Using Petri Nets to specify collaborative three dimensional interaction
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
Rafael Rieder, Marcio Sarroglia Pinho, Alberto Bar...