2702 search results - page 194 / 541 » constraints 2008 |
142
click to vote
ENTCS
2008
15 years 6 months ago
2008
Given a timed automaton with parametric timings, our objective is to describe a procedure for deriving constraints on the parametric timings in order to ensure that, for each valu...
168
click to vote
FUIN
2008
15 years 6 months ago
2008
We adapt the alias type technology to deal with primitives supporting environmentawareness (that is, the ability to adapt the behavior of according to the capabilities of the envi...
173
click to vote
IAJIT
2008
15 years 6 months ago
2008
: This paper presents a graph-coloring-based algorithm for the exam scheduling application, with the objective of achieving fairness, accuracy, and optimal exam time period. Throug...
163
click to vote
CN
2006
15 years 6 months ago
2006
The field of peer-to-peer reputation systems has exploded in the last few years. Our goal is to organize existing ideas and work to facilitate system design. We present a taxonomy...
144
click to vote
JVCA
2008
15 years 6 months ago
2008
Developing suitable interpolation methods to simulate dynamic motions of continuous materials such as fluids is an important problem. In this paper, we propose a novel method to e...