Sciweavers

8099 search results - page 194 / 1620
» Higher-Order Task Models
Sort
View
TASE
2008
IEEE
15 years 6 months ago
An Optimization-Based Approach for Design Project Scheduling
Concurrent engineering has been widely used in managing design projects to speed up the design process by concurrently performing multiple tasks. Since the progress of a design tas...
Ming Ni, Peter B. Luh, Bryan Moser
TOOLS
2008
IEEE
16 years 25 days ago
A Comparison of State-Based Modelling Tools for Model Validation
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...
Emine G. Aydal, Mark Utting, Jim Woodcock
ATAL
2007
Springer
16 years 19 days ago
ARTS: agent-oriented robust transactional system
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
Mingzhong Wang, Amy Unruh, Kotagiri Ramamohanarao
ICRA
2005
IEEE
127views Robotics» more  ICRA 2005»
16 years 1 days ago
Interactive Teaching of a Mobile Robot
— Personal service robots are expected to help people in their everyday life in the near future. Such robots must be able to not only move around but also perform various operati...
Jun Miura, Koji Iwase, Yoshiaki Shirai
ICSE
2009
IEEE-ACM
16 years 7 months ago
Analyzing critical process models through behavior model synthesis
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
Christophe Damas, Bernard Lambeau, Francois Roucou...