5904 search results - page 143 / 1181 » Requirements for a Composition Language |
174
click to vote
ISSTA
1991
ACM
15 years 7 months ago
1991
ACM
Program slices are useful in debugging. Most work on program slicing to date has concentrated on nding slices of programs involving only scalar variables. Pointers and composite v...
142
Voted
DLOG
1997
15 years 4 months ago
1997
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...
110
Voted
EACL
1989
ACL Anthology
15 years 4 months ago
1989
ACL Anthology
Theoretical research in the area of machine translation usually involves the search for and creation of an appropriate formalism. An important issue in this respect is the way in ...
168
Voted
FIW
1998
15 years 5 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
128
Voted
CRYPTO
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We show that only languages in BPP have public-coin, blackbox zero-knowledge protocols that are secure under an unbounded (polynomial) number of parallel repetitions. Thi...