Sciweavers

2593 search results - page 123 / 519
» constraints 2007
Sort
View
CASCON
1993
106views Education» more  CASCON 1993»
15 years 7 months ago
The use of process clustering in distributed-system event displays
When debugging a distributed application, a display showing the events causing interactions between processes can be very useful. If the number of processes is large, displaying a...
David J. Taylor
AIR
2004
130views more  AIR 2004»
15 years 6 months ago
A Hybrid Framework for Over-Constrained Generalized
Abstract. In this work we study an over-constrained scheduling problem where constraints cannot be relaxed. This problem originates from a local defense agency where activities to ...
Andrew Lim, Brian Rodrigues, Ramesh Thangarajo, Fe...
DBPL
2007
Springer
103views Database» more  DBPL 2007»
15 years 10 months ago
Datalog Programs over Infinite Databases, Revisited
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...
Sara Cohen, Joseph Gil, Evelina Zarivach
AUTOMATICA
2005
77views more  AUTOMATICA 2005»
15 years 6 months ago
A differential game of joint implementation of environmental projects
This paper proposes a two-player, finite-horizon differential game model to analyze joint implementation in environmental projects, one of the flexible mechanisms considered in th...
Michèle Breton, Georges Zaccour, Mehdi Zaha...
DAGSTUHL
2006
15 years 7 months ago
Model Development in the UML-based Specification Environment (USE)
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...
Martin Gogolla