Sciweavers

8492 search results - page 274 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
DATE
2002
IEEE
80views Hardware» more  DATE 2002»
15 years 10 months ago
Test Planning and Design Space Exploration in a Core-Based Environment
This paper proposes a comprehensive model for test planning in a core-based environment. The main contribution of this work is the use of several types of TAMs and the considerati...
Érika F. Cota, Luigi Carro, Marcelo Lubasze...
JUCS
2007
110views more  JUCS 2007»
15 years 4 months ago
Designing Collaborative Learning Environments Using Digital Games
: Collaborative learning environments require carefully crafted designs –both technical and social. This paper presents a model describing how to design socio-technical environme...
César A. Collazos, Luis A. Guerrero, Jos&ea...
ENTCS
2008
110views more  ENTCS 2008»
15 years 5 months ago
Exploring an Option Space to Engineer a Ubiquitous Computing System
Engineering natural and appropriate interactive behaviour in ubiquitous computing systems presents new challenges to their developers. This paper explores formal models of interac...
Michael D. Harrison, Christian Kray, José C...
DSRT
2008
IEEE
15 years 11 months ago
Observability Checking to Enhance Diagnosis of Real Time Electronic Systems
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
Manel Khlif, Mohamed Shawky
145
Voted
ICRA
2006
IEEE
131views Robotics» more  ICRA 2006»
15 years 11 months ago
Designing Open-loop Plans for Planar Micro-manipulation
— This paper describes a test-bed for planar micro manipulation tasks and a framework for planning based on quasistatic models of mechanical systems with frictional contacts. We ...
David J. Cappelleri, Jonathan Fink, Barry Munkunda...