1302 search results - page 29 / 261 » Soundness in the Public-Key Model |
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
This paper presents a method of both separating audio mixtures into sound sources and identifying the musical instruments of the sources. A statistical tone model of the power spe...
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
102
click to vote
BPM
2009
Springer
15 years 8 months ago
2009
Springer
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications and o...
124
click to vote
MOBICOM
2003
ACM
15 years 7 months ago
2003
ACM
Simulation has become an indispensable tool in the construction and evaluation of mobile systems. By using mobility models that describe constituent movement, one can explore larg...
190
click to vote
DKE
2011
14 years 5 months ago
2011
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and...