Sciweavers

5128 search results - page 30 / 1026
» When Abstraction Fails
Sort
View
77
Voted
LOPSTR
1999
Springer
15 years 1 months ago
Annotations for Prolog - A Concept and Runtime Handling
Abstract. A concept of annotations for rendering procedural aspects of Prolog is presented, built around wellknown procedural concepts of Standard Prolog. Annotations describe prop...
Marija Kulas
AI
1998
Springer
15 years 1 months ago
A Heuristic Incremental Modeling Approach to Course Timetabling
Abstract. The general timetabling problem is an assignment of activities to xed time intervals, adhering to a prede ned set of resource availabilities. Timetabling problems are di ...
Don Banks, Peter van Beek, Amnon Meisels
ICDT
1997
ACM
138views Database» more  ICDT 1997»
15 years 1 months ago
Tractable Iteration Mechanisms for Bag Languages
Abstract. The goal of this paper is to study tractable iteration mechanisms for bags. The presence of duplicates in bags prevents iteration mechanisms developed in the context of s...
Latha S. Colby, Leonid Libkin
DEXA
2004
Springer
87views Database» more  DEXA 2004»
15 years 1 months ago
Ensuring Task Dependencies During Workflow Recovery
Abstract. Workflow management systems (WFMS) coordinate execution of multiple tasks performed by different entities within an organization. In order to coordinate the execution of ...
Indrakshi Ray, Tai Xin, Yajie Zhu
ICDCS
1995
IEEE
15 years 1 months ago
Parallel Processing on Networks of Workstations: A Fault-Tolerant, High Performance Approach
One of the mostsoughtaftersoftware innovation of thisdecade is the construction of systems using off-the-shelf workstations that actually deliver, and even surpass, the power and ...
Partha Dasgupta, Zvi M. Kedem, Michael O. Rabin