1855 search results - page 183 / 371 » Composing model programs for analysis |
122
click to vote
NPC
2010
Springer
15 years 1 months ago
2010
Springer
This paper introduces the DUP System, a simple framework for parallel stream processing. The DUP System enables developers to compose applications from stages written in almost any...
141
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
In the past decade, moving horizon estimation (MHE) has emerged as a powerful technique for estimating the state of a dynamical system in the presence of nonlinearities and disturb...
132
Voted
UM
2005
Springer
15 years 9 months ago
2005
Springer
We present further developments in our work on using data from real users to build a probabilistic model of user affect based on Dynamic Bayesian Networks (DBNs) and designed to de...
116
Voted
IWSEC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...
134
Voted
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...