1527 search results - page 105 / 306 » From Requirements to Design: Formalizing the Key Steps |
176
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
160
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
Abstract: We propose an effective algorithm for power optimization in behavioral synthesis. In previous work, it has been shown that several hardware allocation/binding problems fo...
161
click to vote
ACNS
2004
Springer
15 years 10 months ago
2004
Springer
Motivated by the conflict between authenticity and privacy in the digital signature, the notion of limited verifier signature was introduced [1]. The signature can be verified by a...
165
click to vote
EMNLP
2008
15 years 7 months ago
2008
We describe an approach for acquiring the domain-specific dialog knowledge required to configure a task-oriented dialog system that uses human-human interaction data. The key aspe...
148
click to vote
JCST
2007
15 years 6 months ago
2007
Group signature schemes allow a member of a group to sign messages anonymously on behalf of the group. In the case of later dispute, a designated group manager can revoke the anony...