Sciweavers

4839 search results - page 105 / 968
» A survey of computational complexity results in systems and ...
Sort
View
SCFBM
2008
138views more  SCFBM 2008»
15 years 1 months ago
Epigrass: a tool to study disease spread in complex networks
Background: The construction of complex spatial simulation models such as those used in network epidemiology, is a daunting task due to the large amount of data involved in their ...
Flávio C. Coelho, Oswaldo G. Cruz, Cl&aacut...
ALT
2008
Springer
15 years 10 months ago
On-Line Probability, Complexity and Randomness
Abstract. Classical probability theory considers probability distributions that assign probabilities to all events (at least in the finite case). However, there are natural situat...
Alexey V. Chernov, Alexander Shen, Nikolai K. Vere...
ATVA
2006
Springer
106views Hardware» more  ATVA 2006»
15 years 5 months ago
Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains
Motivated by recent applications of pushdown systems to computer security problems, we present an efficient algorithm for the reachability problem of alternating pushdown systems. ...
Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier E...
PERCOM
2008
ACM
16 years 1 months ago
Safety Enhancing Mechanisms for Pervasive Computing Systems in Intelligent Environments
Pervasive computing systems provide personalized and intimate services to improve users' quality of life by integrating computation and communication into the environments. Wi...
Hen-I Yang, Abdelsalam Helal
ICDCSW
2003
IEEE
15 years 7 months ago
Studying the Use of Handhelds to Control Smart Appliances
Abstract— Today’s complex appliances are plagued by difficultto-use interfaces. In many cases, consumers use only a few of the many features on their appliances because the mor...
Jeffrey Nichols, Brad A. Myers