Sciweavers

3224 search results - page 336 / 645
» Abstract Error Projection
Sort
View
ECEASST
2010
15 years 4 months ago
Open Source Verification under a Cloud
Abstract: An experiment in providing volunteer cloud computing support for automated audits of open source code is described here, along with the supporting theory. Certification a...
Peter T. Breuer, Simon Pickin
IAT
2010
IEEE
15 years 4 months ago
Concept Learning Games: The Game of Query and Response
Abstract--This article deals with the issue of concept learning and tries to have a game theoretic view over the process of cooperative concept learning among agents in a multi-age...
Nima Mirbakhsh, Arman Didandeh, Mohsen Afsharchi
178
Voted
CAISE
2010
Springer
15 years 1 months ago
Workflow Time Patterns for Process-Aware Information Systems
Abstract. Formal specification and operational support of time constraints constitute fundamental challenges for any process-aware information system. Although temporal constraints...
Andreas Lanz, Barbara Weber, Manfred Reichert
COMPENG
2010
178views Algorithms» more  COMPENG 2010»
15 years 1 months ago
Online Distributed Interdependency Estimation with Partial Information Sharing
Infrastructures are becoming more and more interoperable, while stakeholders are not aware of the overall behavior. In order achieve a global awareness, in this paper the need for ...
Andrea Gasparri, Francesco Iovino, Gabriele Oliva,...
PVLDB
2010
128views more  PVLDB 2010»
15 years 1 months ago
Searching Workflows with Hierarchical Views
Workflows are prevalent in diverse applications, which can be scientific experiments, business processes, web services, or recipes. With the dramatically growing number of workflo...
Ziyang Liu, Qihong Shao, Yi Chen