4255 search results - page 732 / 851 » Database: Models, Languages, Design |
144
click to vote
ADT
2005
15 years 4 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
266
Voted
SCP
2011
14 years 11 months ago
2011
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...
165
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
In this work, the RWTH automatic speech recognition systems for English and German for the second Quaero evaluation campaign 2009 are presented. The systems are designed to transc...
133
click to vote
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
156
click to vote
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...