10038 search results - page 1886 / 2008 » Model Checking for Managers |
102
Voted
IWCMC
2006
ACM
15 years 6 months ago
2006
ACM
This paper introduces project TITAN, which investigates an alternative construct of residential broadband access. The aim of the project is to increase the utilisation of deployed...
119
Voted
VALUETOOLS
2006
ACM
15 years 6 months ago
2006
ACM
Cache locality optimization is an efficient way for reducing the idle time of modern processors in waiting for needed data. This kind of optimization can be achieved either on the...
114
click to vote
VEE
2006
ACM
15 years 6 months ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
104
click to vote
SSDBM
2005
IEEE
15 years 6 months ago
2005
IEEE
Data products generated from remotely-sensed, geospatial imagery (RSI) used in emerging areas, such as global climatology, environmental monitoring, land use, and disaster managem...
100
click to vote
HT
2005
ACM
15 years 6 months ago
2005
ACM
Hyperlinks are an essential feature of the World Wide Web, highly responsible for its success. XLink improves on HTML’s linking capabilities in several ways. In particular, link...