3828 search results - page 331 / 766 » Proof-Based System Engineering Using a Virtual System Model |
159
click to vote
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
The software clustering problem has attracted much attention recently, since it is an integral part of the process of reverse engineering large software systems. A key problem in ...
171
click to vote
IUI
1997
ACM
15 years 11 months ago
1997
ACM
This paper describes ActionStreams, a system for inducing task models from observations of user activity. The model can represent several task structures: hierarchy, variable sequ...
190
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
The Virtual Solar-Terrestrial Observatory (VSTO) is a distributed, scalable education and research environment for searching, integrating, and analyzing observational, experimental...
166
click to vote
IESA
2007
15 years 8 months ago
2007
The application of model-driven development facilitates faster and more flexible integration by separating system descriptions to different levels of abstraction. In crossorganisat...
182
Voted
ICAPR
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we propose a method to exploit the uniqueness in the illumination variations on the face image of a subject for face verification. Using the 3D wireframe model of a...