4335 search results - page 501 / 867 » Ontology Engineering Relationally |
141
click to vote
RE
2004
Springer
16 years 4 days ago
2004
Springer
This paper addresses the issues related to improving the overall quality of the requirements tracing process for Independent Verification and Validation analysts. The contribution...
208
click to vote
RE
2004
Springer
16 years 4 days ago
2004
Springer
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
176
click to vote
WADT
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
180
click to vote
ICSM
2003
IEEE
16 years 2 days ago
2003
IEEE
As systems evolve, they become harder to understand because the implementation of concepts (e.g. business rules) becomes less coherent. To preserve source code comprehensibility, ...
195
click to vote
ISPASS
2003
IEEE
16 years 2 days ago
2003
IEEE
Power-performance optimization is a relatively new problem area particularly in the context of server clusters. Poweraware request distribution is a method of scheduling service r...