10038 search results - page 566 / 2008 » Model Checking for Managers |
220
click to vote
WICON
2010
15 years 5 months ago
2010
In context-aware computing, distributed information about entities, such as people, places and objects, is captured and made available to applications, which utilize this context....
230
click to vote
EUSFLAT
2009
15 years 5 months ago
2009
The need for an automatic inference process able to deal with information coming from unreliable sources is becoming a relevant issue both on corporate networks and on the open Web...
187
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
171
click to vote
AMC
2005
15 years 7 months ago
2005
ARIMA is a popular method to analyze stationary univariate time series data. There are usually three main stages to build an ARIMA model, including model identification, model est...
235
click to vote
TCAD
2008
15 years 7 months ago
2008
Abstract--Thermal issues are fast becoming major design constraints in high-performance systems. Temperature variations adversely affect system reliability and prompt worst-case de...