7167 search results - page 144 / 1434 » A Technique for Invariant Generation |
169
click to vote
LOPSTR
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
119
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we outline the architecture of a peer-to-peer Trust Layer that can be superimposed to metadata generators producing classifications, like our ClassBuilder and BTExac...
158
click to vote
FSE
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents an operational reconstruction technique of most stream ciphers. We primarily expose it for key-stream generators which consist of several linear feedback shift ...
171
click to vote
ACL
2009
15 years 4 months ago
2009
We present a discourse-level Tree Adjoining Grammar which tightly integrates syntax and discourse levels, including a representation for discourse entities. We show that this tech...
180
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
— The aggregate power consumption of the Internet is increasing at an alarming rate, due in part to the rapid increase in the number of connected edge devices such as desktop PCs...