10038 search results - page 1784 / 2008 » Model Checking for Managers |
124
click to vote
DAC
2006
ACM
15 years 11 months ago
2006
ACM
: Creating ICs in the nanometer age is a high-stakes race that few companies can afford to compete in – and even fewer can win. Hear how senior technologists from the world’s t...
136
click to vote
DOLAP
2006
ACM
15 years 11 months ago
2006
ACM
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need b...
141
click to vote
ELPUB
2006
ACM
15 years 11 months ago
2006
ACM
Electronic publishing exploits numerous possibilities to present or exchange information and to communicate via most current media like the Internet. By utilizing modern Web techn...
132
click to vote
EXPDB
2006
ACM
15 years 11 months ago
2006
ACM
With the growing popularity of information retrieval (IR) in distributed systems and in particular P2P Web search, a huge number of protocols and prototypes have been introduced i...
144
Voted
JCDL
2006
ACM
15 years 11 months ago
2006
ACM
In this paper, we review and examine the current status of digital library education and compare the range of provision with that found in earlier studies [1, 2, 3]. It is found t...