10038 search results - page 1647 / 2008 » Model Checking for Managers |
171
click to vote
EENERGY
2010
15 years 10 months ago
2010
As energy-related costs have become a major economical factor for IT infrastructures and data-centers, companies and the research community are being challenged to find better an...
182
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
With ever growing competition in telecommunications markets, operators have to increasingly rely on business intelligence to offer the right incentives to their customers. Toward ...
202
click to vote
DEBS
2009
ACM
15 years 10 months ago
2009
ACM
Streaming data models have been shown to be useful in many applications requiring high-performance data exchange. Application-level overlay networks are a natural way to realize t...
159
click to vote
BIOSTEC
2008
15 years 8 months ago
2008
Clinical trial protocols include schedule of clinical trial activities such as clinical tests, procedures, and medications. The schedule specifies temporal constraints on the seque...
252
click to vote
WSC
2001
15 years 8 months ago
2001
Tactical and operational planning for manufacturing enterprises are more important today than ever before as their supply chains span the globe. Two state-of-the-art technologies ...