2274 search results - page 176 / 455 » Qualitative Modeling for Requirements Engineering |
182
click to vote
PAMI
2008
15 years 6 months ago
2008
A camera mounted on an aerial vehicle provides an excellent means to monitor large areas of a scene. Utilizing several such cameras on different aerial vehicles allows further flex...
161
click to vote
NGC
2006
Springer
15 years 6 months ago
2006
Springer
This paper examines two seemingly unrelated qualitative spatial reasoning domains; geometric proportional analogies and topographic (landcover) maps. We present a Structure Matchin...
145
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...
181
click to vote
APSEC
2005
IEEE
16 years 2 days ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
167
click to vote
SEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A challenging software engineering problem is the design and implementation of component-based (CB) applications that can meet specified performance requirements. Our PPC...