8154 search results - page 1597 / 1631 » Understanding changes in use cases: A case study |
VMCAI
2007
Springer
14 years 1 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
WDAG
2007
Springer
14 years 1 months ago
2007
Springer
We introduce the problem of load-distance balancing in assigning users of a delay-sensitive networked application to servers. We model the service delay experienced by a user as a ...
DASC
2006
IEEE
14 years 1 months ago
2006
IEEE
Blade severs are being increasingly deployed in modern datacenters due to their high performance/cost ratio and compact size. In this study, we document our work on blade server b...
ICDM
2006
IEEE
14 years 1 months ago
2006
IEEE
The immense explosion of geographically referenced data calls for efficient discovery of spatial knowledge. One critical requirement for spatial data mining is the capability to ...
SAC
2006
ACM
14 years 1 months ago
2006
ACM
With the emergence of the World Wide Web, analyzing and improving Web communication has become essential to adapt the Web content to the visitors’ expectations. Web communicatio...