Sciweavers

2209 search results - page 384 / 442
» Language Based Secure Communication
Sort
View
LREC
2008
111views Education» more  LREC 2008»
15 years 3 months ago
The ATCOSIM Corpus of Non-Prompted Clean Air Traffic Control Speech
Air traffic control (ATC) is based on voice communication between pilots and controllers and uses a highly task and domain specific language. Due to this very reason, spoken langu...
Konrad Hofbauer, Stefan Petrik, Horst Hering
114
Voted
DAGSTUHL
2004
15 years 3 months ago
UML 2.0 Testing Profile
Testing often accounts for more than 50% of the required effort during system development. However, testing is often not well integrated with other development phases. One reason ...
Zhen Ru Dai
98
Voted
CORR
2010
Springer
93views Education» more  CORR 2010»
15 years 2 months ago
Support for Evolving Software Architectures in the ArchWare ADL
Software that cannot evolve is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
Ronald Morrison, Graham N. C. Kirby, Dharini Balas...
91
Voted
CORR
2010
Springer
84views Education» more  CORR 2010»
15 years 2 months ago
Constructing Active Architectures in the ArchWare ADL
Software that cannot change is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
Ronald Morrison, Graham N. C. Kirby, Dharini Balas...
ENTCS
2008
153views more  ENTCS 2008»
15 years 2 months ago
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
Johan Dovland, Einar Broch Johnsen, Olaf Owe