Sciweavers

1112 search results - page 157 / 223
» Executing Abstract Test Cases
Sort
View
PSSE
2004
Springer
15 years 5 months ago
Developing and Reasoning About Probabilistic Programs in pGCL
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
Annabelle McIver, Carroll Morgan
BIRTHDAY
2004
Springer
15 years 5 months ago
A Trace Semantics for Long-Running Transactions
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
Michael J. Butler, C. A. R. Hoare, Carla Ferreira
BIS
2009
168views Business» more  BIS 2009»
15 years 1 months ago
Defining Adaptation Constraints for Business Process Variants
Abstract. In current dynamic business environment, it has been argued that certain characteristics of ad-hocism in business processes are desirable. Such business processes typical...
Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori,...
SCIA
2009
Springer
183views Image Analysis» more  SCIA 2009»
15 years 6 months ago
Globally Optimal Least Squares Solutions for Quasiconvex 1D Vision Problems
Abstract. Solutions to non-linear least squares problems play an essential role in structure and motion problems in computer vision. The predominant approach for solving these prob...
Carl Olsson, Martin Byröd, Fredrik Kahl
INFOCOM
2008
IEEE
15 years 6 months ago
Robust Distributed Spectrum Sensing in Cognitive Radio Networks
Abstract—Distributed spectrum sensing (DSS) enables a Cognitive Radio (CR) network to reliably detect licensed users and avoid causing interference to licensed communications. Th...
Ruiliang Chen, Jung Min Park, Kaigui Bian