232 search results - page 12 / 47 » Timed Commitments |
WSC
2008
15 years 1 days ago
2008
Pricing and lead time setting are two important decisions in semiconductor foundry industries. This research considers the competition of a duopoly market consisting of two make-t...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where t...
APLAS
2007
ACM
15 years 1 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
SADFE
2007
IEEE
15 years 4 months ago
2007
IEEE
—With the rapid development and popularity of IT technology, criminals and mischievous computer users are given avenues to commit crimes and malicious activities. As forensic sci...
ANOR
2011
14 years 1 months ago
2011
This paper proposes a new methodology to schedule activities in projects with stochastic activity durations. The main idea is to determine for each activity an interval in which th...