21324 search results - page 64 / 4265 » Making the case for computing |
PERCOM
2008
ACM
14 years 9 months ago
2008
ACM
The field of pervasive computing has seen a lot of exciting innovations in the past few years. However, there are currently no mechanisms for describing the properties and capabil...
IMSCCS
2007
IEEE
14 years 4 months ago
2007
IEEE
Ensemble Kalman Filter (EnKF) uses a randomized ensemble of subsurface models for error and uncertainty estimation. However, the complexity of geological models and the requiremen...
SIGECOM
2011
ACM
13 years 27 days ago
2011
ACM
Recent results in complexity theory suggest that various economic theories require agents to solve computationally intractable problems. However, such results assume the agents ar...
INTERACT
2003
13 years 11 months ago
2003
Abstract: Field studies and user requirements analysis are highly valued practices in the human-computer interaction community. However, in companies, field study methods are not w...
ASIAN
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...