Sciweavers

2917 search results - page 459 / 584
» Satisfying Interaction Constraints
Sort
View
CINQ
2004
Springer
182views Database» more  CINQ 2004»
14 years 2 months ago
Mining Constrained Graphs: The Case of Workflow Systems
Abstract. Constrained graphs are directed graphs describing the control flow of processes models. In such graphs, nodes represent activities involved in the process, and edges the ...
Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, ...
ATAL
2006
Springer
14 years 2 months ago
Conflict negotiation among personal calendar agents
We will demonstrate distributed conflict resolution in the context of personalized meeting scheduling. The demonstration will show how distributed constraint optimization can be u...
Pauline M. Berry, Cory Albright, Emma Bowring, Ken...
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
14 years 2 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
CPAIOR
2006
Springer
14 years 2 months ago
Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs
Abstract. In this paper we introduce a complex allocation and scheduling problem for variable voltage Multi-Processor System-on-Chip (MPSoC) platforms. We propose a methodology to ...
Luca Benini, Davide Bertozzi, Alessio Guerri, Mich...
RT
2000
Springer
14 years 1 months ago
Artistic Multiprojection Rendering
In composing hand-drawn images of 3D scenes, artists often alter the projection for each object in the scene independently, thereby generating multiprojection images. We present a...
Maneesh Agrawala, Denis Zorin, Tamara Munzner