Sciweavers

1435 search results - page 154 / 287
» CASE Support and Model-Based Development
Sort
View
CRV
2007
IEEE
146views Robotics» more  CRV 2007»
14 years 4 months ago
INVICON: A Toolkit for Knowledge-Based Control of Vision Systems
To perform as desired in a dynamic environment a vision system must adapt to a variety of operating conditions by selecting vision modules, tuning their parameters, and controllin...
Olena Borzenko, Yves Lespérance, Michael Je...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 2 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
ICCV
1995
IEEE
14 years 1 months ago
A Theory of Specular Surface Geometry
Atheoreticalframeworkisintroducedfortheperceptionofspecularsurfacegeometry.Whenanobserver moves in three-dimensional space, real scene features such as surface markings remain stat...
Michael Oren, Shree K. Nayar
ECSA
2007
Springer
14 years 4 months ago
Pattern-Based Evolution of Software Architectures
Abstract. We propose a pattern-based software development method comprising analysis (using problem frames) and design (using architectural and design patterns), of which especiall...
Isabelle Côté, Maritta Heisel, Ina We...
HICSS
2010
IEEE
199views Biometrics» more  HICSS 2010»
14 years 5 months ago
Software Entropy in Agile Product Evolution
As agile software development principles and methods are being adopted by large software product organizations it is important to understand the role of software entropy. That is,...
Geir Kjetil Hanssen, Aiko Fallas Yamashita, Reidar...