1302 search results - page 104 / 261 » Soundness in the Public-Key Model |
164
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
144
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Up to now, there has been little academic support for the challenges of IT governance/IT management. As a reaction, various best practice frameworks - like COBIT or CMMI - were de...
177
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
3D MRI of the upper airway has provided valuable insights into vocal tract shaping and data for the modeling of speech production. Small movements of articulators can lead to larg...
174
click to vote
LPAR
2007
Springer
16 years 19 days ago
2007
Springer
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
175
click to vote
MM
2006
ACM
16 years 14 days ago
2006
ACM
We present a novel, innovative user interface to music repositories. Given an arbitrary collection of digital music files, our system creates a virtual landscape which allows the...