Sciweavers

1435 search results - page 154 / 287
» CASE Support and Model-Based Development
Sort
View
CRV
2007
IEEE
146views Robotics» more  CRV 2007»
16 years 13 days 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...
164
Voted
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 10 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
15 years 9 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
16 years 7 days 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»
16 years 29 days 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...