204 search results - page 25 / 41 » Continuations and Concurrency |
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
VLDB
1998
ACM
14 years 2 months ago
1998
ACM
Numerous applications such as stock market or medical information systems require that both historical and current data be logically integrated into a temporal database. The under...
ICANN
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Taking neuromodulation as a mechanism underlying emotions, this paper investigates how such a mechanism can bias an artificial neural network towards exploration of new ...
MIDDLEWARE
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Existing middleware is based on control-flow centric interaction models such as remote method invocations, poorly matching the structure of applications that process con...
CCS
2010
ACM
13 years 10 months ago
2010
ACM
The need for network stability and reliability has led to the growth of autonomic networks [2] that can provide more stable and more reliable communications via on-line measuremen...