1302 search results - page 73 / 261 » Soundness in the Public-Key Model |
161
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
304
click to vote
Book
"The focus of this book is on spectral modeling applied to audio signals. Spectral modeling has two main components: analysis and synthesis. We analyze sound in terms of spect...
201
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
142
click to vote
WSC
2000
15 years 7 months ago
2000
Designing complex simulation models is a task essentially associated with software engineering. In this paper, the Unified Modeling Language (UML) is used to specify simulation mo...
161
click to vote
AAAI
1998
15 years 7 months ago
1998
The Integrated Processing and Understanding of Signals (IPUS) architecture is a general blackboard framework for structuring bidirectional interaction between front-end signal pro...