3799 search results - page 217 / 760 » An Engineering Approach to Formal Methods |
110
click to vote
PAKDD
2009
ACM
15 years 11 months ago
2009
ACM
Atypical behaviours are the basis of a valuable knowledge in domains related to security (e.g. fraud detection for credit card [1], cyber security [4] or safety of critical systems...
139
click to vote
ICPPW
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a methodology for aiding a scientific programmer to evaluate the performance of parallel programs on advanced architectures. It applies well-defined design o...
165
click to vote
ISSA
2004
15 years 6 months ago
2004
Web Services technology enables organisations to exploit software as a service. Services are accessed by method invocations. Method interfaces are described and published, and may...
142
click to vote
EOR
2006
15 years 4 months ago
2006
The robust spanning tree problem is a variation, motivated by telecommunications applications, of the classic minimum spanning tree problem. In the robust spanning tree problem ed...
146
click to vote
ESWS
2004
Springer
15 years 10 months ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...