Sciweavers

4335 search results - page 658 / 867
» Ontology Engineering Relationally
Sort
View
99
Voted
GECCO
2009
Springer
144views Optimization» more  GECCO 2009»
15 years 7 months ago
Using automated search to generate test data for matlab
The critical functionality of many software applications relies on code that performs mathematically complex computations. However, such code is often difficult to test owing to t...
Sion Ll Rhys, Simon M. Poulding, John A. Clark
98
Voted
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
15 years 7 months ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...
81
Voted
SFM
2009
Springer
15 years 7 months ago
Quantitative Analysis of Web Services Using SRMC
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serv...
Allan Clark, Stephen Gilmore, Mirco Tribastone
118
Voted
CSE
2008
IEEE
15 years 7 months ago
A Trust Model Applied to E-mail Servers
E-mail services are essential in the Internet. However, the basic e-mail architecture presents problems that opens it to several threats. Alternatives have been proposed to solve ...
Leonardo de Oliveira, Carlos Maziero
92
Voted
ICAS
2008
IEEE
179views Robotics» more  ICAS 2008»
15 years 7 months ago
Implementation of a Generic Autonomic Framework
—Based on insights from the implementation of commercial products for data-centre resource management, we identified key challenges in the development of cost-effective autonomi...
Radu Calinescu