5754 search results - page 165 / 1151 » Multi-class Model M |
131
click to vote
CONCUR
1989
Springer
15 years 10 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
182
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a classification framework for workflow exception handling in the form of patterns. This framework is independent of specific modelling approaches or technologi...
174
click to vote
CCCG
2010
15 years 8 months ago
2010
We present a data structure which represents a wellshaped convex tetrahedral mesh, M, in linear space such that path traversals visiting a sequence of K tetrahedra require O (K/ l...
159
click to vote
PE
2007
Springer
15 years 6 months ago
2007
Springer
We present a simple mean value analysis (MVA) framework for analyzing the effect of scheduling within queues in classical asymmetric polling systems with gated or exhaustive serv...
175
click to vote
TVCG
2012
13 years 9 months ago
2012
—This paper describes a new method to explore and discover within a large data set. We apply techniques from preference elicitation to automatically identify data elements that a...