Sciweavers

29046 search results - page 172 / 5810
» Computable Models
Sort
View
CATA
2003
15 years 4 months ago
Scheduling Imprecise Computations with Wind-up Parts
The imprecise computation model provides the ability to cope with unpredictable workloads. However, there is no consistent way on how to terminate the computation in its early sta...
Hidenori Kobayashi, Nobuyuki Yamasaki, Yuichiro An...
125
Voted
NSPW
2004
ACM
15 years 8 months ago
Symmetric behavior-based trust: a new paradigm for internet computing
Current models of Internet Computing are highly asymmetric – a host protects itself from malicious mobile Java programs, but there is no way to get assurances about the behavior...
Vivek Haldar, Michael Franz
PATMOS
2007
Springer
15 years 9 months ago
Computation of Joint Timing Yield of Sequential Networks Considering Process Variations
Amit Goel, Sarvesh Bhardwaj, Praveen Ghanta, Sarma...
ECOOPWEXCEPTION
2006
Springer
15 years 7 months ago
Exception Handling in CSCW Applications in Pervasive Computing Environments
Abstract. In this paper we present conceptual foundations of an exception handling model for context-aware CSCW applications. Human participation in the recovery actions is an inte...
Anand R. Tripathi, Devdatta Kulkarni, Tanvir Ahmed
CCE
2007
15 years 3 months ago
Reliable computation of equilibrium states and bifurcations in ecological systems analysis
A problem of frequent interest in analyzing nonlinear ODE models of ecological systems is the location of equilibrium states and bifurcations. Interval-Newton techniques are explo...
C. Ryan Gwaltney, Mark A. Stadtherr