Sciweavers

3914 search results - page 694 / 783
» Automating SLA modeling
Sort
View
109
Voted
FASE
2009
Springer
15 years 6 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
112
Voted
ICDE
2007
IEEE
157views Database» more  ICDE 2007»
15 years 6 months ago
Representing Data Quality for Streaming and Static Data
In smart item environments, multitude of sensors are applied to capture data about product conditions and usage to guide business decisions as well as production automation proces...
Anja Klein, Hong Hai Do, Gregor Hackenbroich, Marc...
130
Voted
ACMICEC
2006
ACM
111views ECommerce» more  ACMICEC 2006»
15 years 6 months ago
Passive verification of the strategyproofness of mechanisms in open environments
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...
Laura Kang, David C. Parkes
154
Voted
ADBIS
2006
Springer
135views Database» more  ADBIS 2006»
15 years 6 months ago
Interactive Discovery and Composition of Complex Web Services
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
Sergey A. Stupnikov, Leonid A. Kalinichenko, St&ea...
CASES
2006
ACM
15 years 6 months ago
Efficient architectures through application clustering and architectural heterogeneity
Customizing architectures for particular applications is a promising approach to yield highly energy-efficient designs for embedded systems. This work explores the benefits of arc...
Lukasz Strozek, David Brooks