5668 search results - page 886 / 1134 » Overlaps in Requirements Engineering |
189
click to vote
HUC
2004
Springer
16 years 3 days ago
2004
Springer
We present an automated transportation routing system, called “Opportunity Knocks,” whose goal is to improve the efficiency, safety and independence of individuals with mild co...
153
click to vote
ICBA
2004
Springer
16 years 3 days ago
2004
Springer
The open set recognition task, most challenging among the biometric tasks, operates under the assumption that not all the probes have mates in the gallery. It requires the availabi...
173
click to vote
ICCSA
2004
Springer
16 years 3 days ago
2004
Springer
Finding the fastest algorithm to solve a problem is one of the main issues in Computational Geometry. Focusing only on worst case analysis or asymptotic computations leads to the d...
184
click to vote
ICFEM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
197
click to vote
ICFEM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...