Sciweavers

3009 search results - page 158 / 602
» The Expressive Rate of Constraints
Sort
View
SAS
2001
Springer
117views Formal Methods» more  SAS 2001»
15 years 5 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...
97
Voted
JSW
2008
130views more  JSW 2008»
15 years 24 days ago
A Constraint-Driven Executable Model of Dynamic System Reconfiguration
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...
D'Arcy Walsh, Francis Bordeleau, Bran Selic
TAP
2008
Springer
102views Hardware» more  TAP 2008»
15 years 22 days ago
A Logic-Based Approach to Combinatorial Testing with Constraints
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
Andrea Calvagna, Angelo Gargantini
106
Voted
CORR
2011
Springer
190views Education» more  CORR 2011»
14 years 4 months ago
Doubly Robust Smoothing of Dynamical Processes via Outlier Sparsity Constraints
Abstract—Coping with outliers contaminating dynamical processes is of major importance in various applications because mismatches from nominal models are not uncommon in practice...
Shahrokh Farahmand, Georgios B. Giannakis, Daniele...
ICDE
2005
IEEE
90views Database» more  ICDE 2005»
16 years 2 months ago
Distributed XML Stream Filtering System with High Scalability
We propose a distributed XML stream filtering system that uses a large number of subscribers' profiles, written in XPath expressions, to filter XML streams and then publish t...
Hiroyuki Uchiyama, Makoto Onizuka, Takashi Honishi