305 search results - page 36 / 61 » Experiences with Modeling and Verification of Regulations |
PERSUASIVE
2010
Springer
14 years 22 days ago
2010
Springer
Abstract. In this paper, we further develop the idea of combining pervasive computing techniques with electronic payment systems to create activity-based micro-incentives. Economic...
CAV
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...
WSC
1996
13 years 10 months ago
1996
In this paper, we identify and discuss the features we believe are key to the successful use of simulation as a manufacturing support tool. The discussion begins with three sample...
RECOMB
2002
Springer
14 years 9 months ago
2002
Springer
We present a new statistically optimal approach to estimate transcript levels and ratios from one or more gene array experiments. The Bayesian Estimation of Array Measurements (BE...
ICFEM
2009
Springer
13 years 6 months ago
2009
Springer
Bounded timed-arc Petri nets with read-arcs were recently proven equivalent to networks of timed automata, though the Petri net model cannot express urgent behaviour and the descri...