2196 search results - page 313 / 440 » Practical Reasoning Using Values |
CONCUR
2008
Springer
13 years 11 months ago
2008
Springer
We introduce subsequence invariants, which characterize the behavior of a concurrent system in terms of the occurrences of synchronization events. Unlike state invariants, which re...
MASCOTS
2007
13 years 10 months ago
2007
— We present a tool, PerfCenter, that takes as input the deployment, configuration, message flow and workload details of the hardware and software servers in an application hos...
STAIRS
2008
13 years 10 months ago
2008
Since the beginning of the 1990's, the Internet has constantly grown, proposing more and more services and sources of information. The challenge is no longer to provide users ...
UAI
2008
13 years 10 months ago
2008
We consider how an agent should update her uncertainty when it is represented by a set P of probability distributions and the agent observes that a random variable X takes on valu...
ICIS
2004
13 years 10 months ago
2004
This paper examines the relationship between information technology and product variety. Consistent with prior theoretical work, we argue that IT and product variety are complemen...