2190 search results - page 50 / 438 » Constructing Use Case Model by Using a Systematic Approach: ... |
PERCOM
2010
ACM
13 years 6 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
CARS
2003
13 years 10 months ago
2003
The goal of the data collection and analyses described in this paper was to investigate the effects of incorrect output from a CAD tool on the reliability of the decisions of its ...
ICDM
2002
IEEE
14 years 1 months ago
2002
IEEE
Current Data Mining techniques usually do not have a mechanism to automatically infer semantic features inherent in the data being “mined”. The semantics are either injected i...
ESWS
2006
Springer
14 years 10 days ago
2006
Springer
On the Semantic Web personalization technologies are needed to deal with user diversity. Our research aims at maximising the automation of acquisition of user knowledge, thus provi...
ICCBSS
2003
Springer
14 years 1 months ago
2003
Springer
We have recently proposed a general approach to engineering protective wrappers as a means of detecting errors or unwanted behaviour in systems employing an OTS (Off-The-Shelf) ite...