4451 search results - page 340 / 891 » Continuous model synthesis |
299
click to vote
VLDB
2003
ACM
16 years 7 months ago
2003
ACM
This paper describes the basic processing model and architecture of Aurora, a new system to manage data streams for monitoring applications. Monitoring applications differ substant...
174
click to vote
AICCSA
2006
IEEE
16 years 24 days ago
2006
IEEE
: The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the ...
160
click to vote
INFOCOM
2006
IEEE
16 years 23 days ago
2006
IEEE
— This paper studies multicast application overlay networks in a repeated-game framework. In these overlays, users have both the motivation and the means to alter their position...
159
click to vote
ISCAS
2006
IEEE
16 years 23 days ago
2006
IEEE
—This paper presents an analog neuromimetic integrated circuit and an associated system dedicated for experiments of parameters extraction in biological neuron models. The IC bas...
186
click to vote
CAV
2005
Springer
16 years 8 days ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...