613 search results - page 8 / 123 » Executable Visual Contracts |
DAGSTUHL
2004
13 years 10 months ago
2004
The paper represents current achievements of an ongoing research that aims to develop a formal approach supporting an automatic selection of a Web service sought by a requestor. Th...
MICCAI
2006
Springer
14 years 9 months ago
2006
Springer
Wireless endoscopy is a very recent and at the same time unique technique allowing to visualize and study the occurrence of contractions and to analyze the intestine motility. Feat...
ENTCS
2007
13 years 8 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
ICS
1993
Tsinghua U.
14 years 20 days ago
1993
Tsinghua U.
Mapping data to parallel computers aims at minimizing the execution time of the associated application. However, it can take an unacceptable amount of time in comparison with the ...
CIMCA
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes a Rule Based Service Level Agreement language called RBSLA which is based on RuleML. With this language SLAs can be implemented in a machine readable syntax w...