424 search results - page 38 / 85 » Realizability models and implicit complexity |
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
ISCAS
2005
IEEE
14 years 2 months ago
2005
IEEE
— This paper proposes a new method for online secondary path modeling in active noise control (ANC) systems. The proposed method is a modified version of the basic method, propo...
EDBTW
2006
Springer
14 years 11 days ago
2006
Springer
Abstract. Most of the recent work on adaptive processing and continuous querying of data streams assume that data objects come in the form of tuples, thus relying on the relational...
SPLC
2008
13 years 10 months ago
2008
Modeling self-adaptive applications is a difficult task due to the complex relationships they have with their environments. Designers of such applications strive to model accurate...
ICDE
2006
IEEE
14 years 10 months ago
2006
IEEE
This paper explores an inherent tension in modeling and querying uncertain data: simple, intuitive representations of uncertain data capture many application requirements, but the...