1309 search results - page 132 / 262 » Revenue management: Models and methods |
CHI
2007
ACM
16 years 1 days ago
2007
ACM
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...
82
Voted
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
To improve the whole dependability of large-scale cluster systems, an online fault detection mechanism is proposed in this paper. This mechanism can detect the fault in time befor...
85
Voted
SAC
2006
ACM
15 years 5 months ago
2006
ACM
With the growing importance of enterprise architecture the discussion about how to create or choose the right enterprise architecture framework for a specific organization arose q...
CIKM
1998
Springer
15 years 3 months ago
1998
Springer
People accessing documents via the Internet typically experience latencies in retrieving content. We discuss continual-computation policies that dictate strategies for prefetching...
SPIN
2000
Springer
15 years 3 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...