Sciweavers

489 search results - page 68 / 98
» On the Execution of ODP Computational Specifications
Sort
View
CI
2004
115views more  CI 2004»
13 years 8 months ago
A Conversational Approach to the Interaction With Web Services
The emerging standards for the specification of Web Services support the publication of the static interfaces of the operations they may execute. However, little attention is paid...
Liliana Ardissono, Giovanna Petrone, Marino Segnan
PERCOM
2010
ACM
13 years 7 months ago
Exploring quality in multisensor pervasive systems - a localization case study
This paper addresses quality vs. cost tradeoffs in multisensor pervasive spaces. Specifically, we focus on a case study that uses location sensing in instrumented pervasive spaces ...
Stefano Bonetti, Sharad Mehrotra, Nalini Venkatasu...
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
14 years 27 days ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
HIPC
2009
Springer
13 years 6 months ago
Continuous performance monitoring for large-scale parallel applications
Traditional performance analysis techniques are performed after a parallel program has completed. In this paper, we describe an online method for continuously monitoring the perfor...
Isaac Dooley, Chee Wai Lee, Laxmikant V. Kal&eacut...
ICDT
2009
ACM
150views Database» more  ICDT 2009»
14 years 9 months ago
Optimizing user views for workflows
A technique called user views has recently been proposed to focus user attention on relevant information in response to provenance queries over workflow executions [1, 2]: Given u...
Olivier Biton, Susan B. Davidson, Sanjeev Khanna, ...