Sciweavers

372 search results - page 56 / 75
» The box mover problem
Sort
View
ACMDIS
2000
ACM
13 years 11 months ago
Meta-Design: Design for Designers
One fundamental challenge for the design of the interactive systems of the future is to invent and design environments and cultures in which humans can express themselves and enga...
Gerhard Fischer, Eric Scharff
ICNP
1999
IEEE
13 years 11 months ago
Smoothing and Prefetching Video from Distributed Servers
Video prefetching has been proposed recently for the transmission of variable-bit-rate(VBR) video over a packetswitched network. The objective of these protocols is to prefetch fu...
Spiridon Bakiras, Victor O. K. Li
CONCUR
1999
Springer
13 years 11 months ago
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
d abstract) Christel Baiera, Joost-Pieter Katoenb;c and Holger Hermannsc aLehrstuhl fur Praktische Informatik II, University of Mannheim 68131 Mannheim, Germany bLehrstuhl fur Info...
Christel Baier, Joost-Pieter Katoen, Holger Herman...
CP
1999
Springer
13 years 11 months ago
An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...
Jorge Cruz, Pedro Barahona
ECOOPW
1999
Springer
13 years 11 months ago
Deriving Object-Oriented Frameworks from Domain Knowledge
Although a considerable number of successful frameworks have been developed during the last decade, designing a high-quality framework is still a difficult task. Generally, it is ...
Mehmet Aksit