2282 search results - page 244 / 457 » Active property checking |
184
click to vote
AOSD
2011
ACM
15 years 6 days ago
2011
ACM
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
265
click to vote
AMAST
2010
Springer
15 years 6 days ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
169
click to vote
CORR
2011
Springer
15 years 5 days ago
2011
Springer
We introduce streaming tree transducers as an analyzable and expressive model for transforming hierarchically structured data in a single pass. Given a linear encoding of the inpu...
165
click to vote
DLOG
2011
14 years 8 months ago
2011
We study a restriction of the classification procedure for EL++ where the inference rule for complex role inclusion axioms (RIAs) is applied in a “left-linear” way in analogy ...
159
click to vote
TCC
2009
Springer
16 years 5 months ago
2009
Springer
The first and still most popular solution for secure two-party computation relies on Yao's garbled circuits. Unfortunately, Yao's construction provide security only again...