Sciweavers

3943 search results - page 537 / 789
» Architecture-Level Requirements Specification
Sort
View
3DIM
2001
IEEE
15 years 10 months ago
Dual-Beam Structured-Light Scanning for 3-D Object Modeling
In this paper, we present our Dual-Beam Structured-Light Scanner (DSLS), a scanning system that generates range maps much richer than those obtained from a conventional structured...
Johnny Park, Guilherme N. DeSouza, Avinash C. Kak
AIME
2003
Springer
15 years 10 months ago
Experiences in the Formalisation and Verification of Medical Protocols
Abstract. Medical practice protocols or guidelines are statements to assist practitioners and patient decisions about appropriate health care for specific circumstances. In order t...
Mar Marcos, Michael Balser, Annette ten Teije, Fra...
ASWEC
2001
IEEE
15 years 10 months ago
Extending the UML for Designing Jack Agents
Mainstreaming and industrialising agent technologies requires suitable methodological and technological support for the various engineering activities associated with managing the...
Michael Papasimeon, Clinton Heinze
CODES
2001
IEEE
15 years 10 months ago
The TACO protocol processor simulation environment
Network hardware design is becoming increasingly challenging because more and more demands are put on network bandwidth and throughput requirements, and on the speed with which ne...
Seppo Virtanen, Johan Lilius
AGENTCL
2000
Springer
15 years 10 months ago
Dialogue in Team Formation
The process of cooperative problem solving can be divided into four stages. First, finding potential team members, then forming a team followed by constructing a plan for that tea...
Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbru...