329 search results - page 33 / 66 » Library Concepts for Model Reuse |
124
click to vote
EUROMICRO
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper reports on the development of QoSOnt: an ontology for Quality of Service (QoS). Particular focus is given to its application in the field of service-centric systems. Qo...
139
click to vote
ENTCS
2007
15 years 6 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
174
click to vote
FLAIRS
2001
15 years 7 months ago
2001
We present a novel approach to describe the knowledge discovery process, focusing on a generalized form of attribute called view. It is observed that the process of knowledge disc...
143
click to vote
IWPC
1996
IEEE
15 years 10 months ago
1996
IEEE
Technology to support system comprehension tends to reflect either a "bottom-up" or "top-down" approach. Bottom-up approaches attempt to derive system models f...
180
click to vote
WETICE
2005
IEEE
15 years 11 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...