4609 search results - page 13 / 922 » Automatic Generation of Sigma-Protocols |
161
click to vote
DATE
2010
IEEE
15 years 3 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
152
click to vote
COLING
2002
15 years 4 months ago
2002
Systems that interact with the user via natural language are in their infancy. As these systems mature and become more complex, it would be desirable for a system developer if the...
127
click to vote
CPP
2011
14 years 4 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
152
click to vote
TSE
2010
14 years 11 months ago
2010
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This pap...
133
click to vote
ACL
2010
15 years 2 months ago
2010
In this paper, we propose a novel approach to automatic generation of summary templates from given collections of summary articles. This kind of summary templates can be useful in...