1527 search results - page 58 / 306 » From Requirements to Design: Formalizing the Key Steps |
150
click to vote
AUTOMATICA
2002
15 years 5 months ago
2002
As a case study of a particular control methodology and as a practical contribution in the area of underwater vehicle control, we consider the problem of stabilizing an underwater...
163
click to vote
PSYCHNOLOGY
2006
15 years 5 months ago
2006
The Web is the archetypal information space but even on a well designed site it can be difficult to find all the information you need. It is impossible to design a site so that al...
162
click to vote
BIRTHDAY
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
162
click to vote
ICWS
2007
IEEE
15 years 7 months ago
2007
IEEE
We propose a semantic framework for automatically identifying events as a step towards developing an adaptive middleware for Service Oriented Architecture (SOA). Current related r...
169
click to vote
VIIP
2001
15 years 7 months ago
2001
We propose a key frame extraction mechanism to aid the Structure from Motion (SfM) problem when dealing with image sequences from video cameras. Due to high frame rates (15 frames...