Sciweavers

4335 search results - page 658 / 867
» Ontology Engineering Relationally
Sort
View
GECCO
2009
Springer
144views Optimization» more  GECCO 2009»
16 years 15 days 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
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
16 years 15 days 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
16 years 15 days 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
CSE
2008
IEEE
16 years 13 days 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
ICAS
2008
IEEE
179views Robotics» more  ICAS 2008»
16 years 12 days 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