9806 search results - page 1671 / 1962 » Engineering adaptive requirements |
174
click to vote
ICCSA
2004
Springer
16 years 4 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...
186
click to vote
ICFEM
2004
Springer
16 years 4 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...
199
click to vote
ICFEM
2004
Springer
16 years 4 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...
194
click to vote
ICSOC
2004
Springer
16 years 4 days ago
2004
Springer
Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...
181
click to vote
ICSR
2004
Springer
16 years 4 days ago
2004
Springer
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...