Sciweavers

7289 search results - page 75 / 1458
» A Dependent Set Theory
Sort
View
ICSE
2008
IEEE-ACM
14 years 8 months ago
Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...
Jinjun Chen, Yun Yang
GLOBECOM
2007
IEEE
14 years 2 months ago
A Frequency-Dependence Model for the Ultra-Wideband Channel Based on Propagation Events
— While the frequency-dependence of the wireless channel may be negligible for narrow to wideband signals, it has been shown that modeling this dependence for bandwidths in exces...
Camillo Gentile, Alfred Kik
CPAIOR
2004
Springer
14 years 1 months ago
A New Exact Solution Algorithm for the Job Shop Problem with Sequence-Dependent Setup Times
Abstract. We propose a new solution approach for the Job Shop Problem with Sequence Dependent Setup Times (SDST-JSP). The problem consists in scheduling jobs, each job being a set ...
Christian Artigues, Sana Belmokhtar, Dominique Fei...
LICS
2005
IEEE
14 years 1 months ago
Operational Domain Theory and Topology of a Sequential Programming Language
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...
Martín Hötzel Escardó, Weng Kin...
APAL
2005
135views more  APAL 2005»
13 years 7 months ago
Safe beliefs for propositional theories
We propose an extension of answer sets, that we call safe beliefs, that can be used to study several properties and notions of answer sets and logic programming from a more genera...
Mauricio Osorio, Juan Antonio Navarro Pérez...