4507 search results - page 552 / 902 » Generalized Binet dynamics |
185
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
In-situ reconfiguration of software is indispensable in embedded networked sensing systems. It is required for re-tasking a deployed network, fixing bugs, introducing new features...
159
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
208
click to vote
DLS
2008
15 years 8 months ago
2008
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
223
click to vote
NIPS
2004
15 years 8 months ago
2004
As animals interact with their environments, they must constantly update estimates about their states. Bayesian models combine prior probabilities, a dynamical model and sensory e...
185
click to vote
USITS
2001
15 years 8 months ago
2001
Ubiquitous access to sophisticated internet services from diverse end devices across heterogeneous networks requires the injection of additional functionality into the network to ...