Sciweavers

34 search results - page 4 / 7
» Application of a support system to the design of wastewater ...
Sort
View
GMP
2006
IEEE
117views Solid Modeling» more  GMP 2006»
14 years 22 days ago
Two-Dimensional Selections for Feature-Based Data Exchange
Proper treatment of selections is essential in parametric feature-based design. Data exchange is one of the most important operators in any design paradigm. In this paper we addre...
Ari Rappoport, Steven N. Spitz, Michal Etzion
VIS
2004
IEEE
315views Visualization» more  VIS 2004»
14 years 8 months ago
STEPS - An Application for Simulation of Transsphenoidal Endonasal Pituitary Surgery
Endonasal transsphenoidal pituitary surgery is a minimally invasive endoscopic procedure, applied to remove various kinds of pituitary tumors. To reduce the risk associated with t...
André Neubauer, Katja Bühler, Lukas Mr...
TPHOL
1998
IEEE
13 years 11 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
GEOINFO
2003
13 years 8 months ago
The Architecture of a Mobile Emergency Plan Deployment System
This paper describes the implementation of a workflow management system to support mobile GIS workgroup applications and highlights the design of the workflow definition language t...
Fábio Meira de Oliveira Dias, Marcelo T&iac...
JSW
2007
102views more  JSW 2007»
13 years 6 months ago
A Novel Framework for Building Distributed Data Acquisition and Monitoring Systems
— We propose a novel framework for building a distributed data acquisition and monitoring system. Our novel framework is mainly based on XML leverages and OPC (Openness, Producti...
Vu Van Tan, Dae-Seung Yoo, Myeong-Jae Yi