Sciweavers

4335 search results - page 658 / 867
» Ontology Engineering Relationally
Sort
View
131
Voted
GECCO
2009
Springer
144views Optimization» more  GECCO 2009»
15 years 10 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
127
Voted
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
15 years 10 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...
SFM
2009
Springer
15 years 10 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
151
Voted
CSE
2008
IEEE
15 years 10 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
116
Voted
ICAS
2008
IEEE
179views Robotics» more  ICAS 2008»
15 years 10 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