Sciweavers

630 search results - page 78 / 126
» Introducing collaboration into an application development en...
Sort
View
APSEC
1997
IEEE
15 years 8 months ago
A Formal Operational Semantics for SOFL
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
Chris Ho-Stuart, Shaoying Liu
ISMAR
2002
IEEE
15 years 9 months ago
Fata Morgana - A Presentation System for Product Design
Mobile Augmented Reality applications promise substantial savings in time and costs for product designers, in particular, for large products requiring scale models and expensive c...
Gudrun Klinker, Allen H. Dutoit, Martin Bauer, Joh...
IFIP8
2004
15 years 5 months ago
Using Group Management to Tame Mobile Ad Hoc Networks
Mobile ad hoc networks (MANET) offer a convenient basis towards pervasive computing, due to inherent support for anytime, anywhere network access for mobile users. However, the dev...
Malika Boulkenafed, Daniele Sacchetti, Valé...
IROS
2009
IEEE
180views Robotics» more  IROS 2009»
15 years 10 months ago
HELIOS system: A team of tracked robots for special urban search and rescue operations
Abstract— Fire brigades and special agencies are often demanded to operate for search and aid of human lives in extremely dangerous scenarios. It is very important to first veri...
Michele Guarnieri, Ryo Kurazume, Hiroshi Masuda, T...
ACSW
2007
15 years 5 months ago
A Grid Based e-Research Platform for Clinical Management in the Human Respiratory and Vascular System
A Grid based e-Research platform is being developed for providing a simulation-based virtual reality environment for clinical management and therapy treatment. The development of ...
Sherman Cheung, Xingchen Chu, Shengjin Xu, Rajkuma...