Sciweavers

1264 search results - page 88 / 253
» Designing Safe, Reliable Systems using Scade
Sort
View
AOSE
2001
Springer
15 years 9 months ago
UML Class Diagrams Revisited in the Context of Agent-Based Systems
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts ...
Bernhard Bauer
ICCV
2011
IEEE
14 years 4 months ago
Dynamic Fluid Surface Acquisition Using a Camera Array
Acquiring dynamic 3D fluid surfaces is a challenging problem in computer vision. Single or stereo camera based solutions are sensitive to refraction distortions, fast fluid moti...
Yuanyuan Ding, Feng Li, Yu Ji, Jingyi Yu
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
15 years 10 months ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
CDC
2010
IEEE
163views Control Systems» more  CDC 2010»
14 years 11 months ago
Integrated dynamic optimization and control in reservoir engineering using locally identified linear models
Abstract-- Studies on dynamic real-time optimization (DRTO) of waterflooding strategies in petroleum reservoirs have demonstrated that there exists a large potential to improve eco...
Gijs van Essen, Amin Rezapour, Paul M. J. Van den ...
HICSS
2010
IEEE
174views Biometrics» more  HICSS 2010»
15 years 10 months ago
Developing an EMR Simulator to Assess Users' Perception of Document Quality
Simulators are used in research and training because they provide a realistic and safe environment for participants. In the course of conducting a comprehensive study of patient c...
Efthimis N. Efthimiadis, Kenric W. Hammond, Ryan L...