6751 search results - page 463 / 1351 » Engineering Quality Requirements Using Quality Models |
165
click to vote
CONCUR
1989
Springer
15 years 11 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
233
click to vote
FIRBPERF
2005
IEEE
16 years 1 months ago
2005
IEEE
The main motivation for applying capacity planning techniques to the design of Internet-based video services is that very often these systems incur significant delays that decrea...
237
click to vote
TPDS
2008
15 years 7 months ago
2008
Security is increasingly becoming an important issue in the design of real-time parallel applications, which are widely used in the industry and academic organizations. However, ex...
200
click to vote
INFORMS
2010
15 years 6 months ago
2010
We design and implement an intensity-modulated radiation therapy (IMRT) plan generation technology that effectively and efficiently optimizes beam geometry as well as beam intens...
268
click to vote
ICCS
1999
Springer
15 years 12 months ago
1999
Springer
Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation b...