Sciweavers

3898 search results - page 231 / 780
» Maintaining Component-Based Systems
Sort
View
GI
2005
Springer
15 years 9 months ago
Automated Quality Assurance for UML Models
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Tilman Seifert, Florian Jug, Günther Rackl
BIRTHDAY
2010
Springer
15 years 9 months ago
The Arrow of Time through the Lens of Computing
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
Krishna V. Palem
ICCV
2001
IEEE
16 years 6 months ago
Caustics of Catadioptric Cameras
Conventional vision systems and algorithms assume the camera to have a single viewpoint. However, sensors need not always maintain a single viewpoint. For instance, an incorrectly...
Rahul Swaminathan, Michael D. Grossberg, Shree K. ...
ATAL
2004
Springer
15 years 9 months ago
Motion and Episode Models for (Simulated) Football Games: Acquisition, Representation, and Use
One of the key problems in the study of multi agent systems in which the agents exhibit continuous behavior is the automatic recognition and analysis of intentional activities bas...
Michael Beetz, Thomas Stammeier, Sven Flossmann
HICSS
2003
IEEE
108views Biometrics» more  HICSS 2003»
15 years 9 months ago
Application Generator: A Framework and Methodology for IS Construction
Application generators have been championed because they can be used to shorten a system’s development cycle and therefore lower its development costs. Application generators ar...
Jen-Her Wu, Tse-Chih Hsia, I-Chia Chang, Sun-Jen T...