4250 search results - page 371 / 850 » Understanding the Requirements on Modelling Techniques |
189
click to vote
SIGSOFT
2003
ACM
16 years 3 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
201
click to vote
CAIP
2003
Springer
16 years 2 days ago
2003
Springer
Video surveillance systems seek to automatically identify events of interest in a variety of situations. Extracting a moving object from background is the most important step of t...
201
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
Today's User Interfaces (UIs) are complex software components, which play an essential role in the usability of an application. The development of UIs requires therefore, not ...
159
Voted
KDD
1999
ACM
15 years 11 months ago
1999
ACM
Many advanced safety and navigation applications in vehicles require accurate, detailed digital maps, but manual lane measurements are expensive and time-consuming, making automat...
209
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...