2763 search results - page 94 / 553 » The Dangerous 'All' in Specifications |
CG
2002
Springer
13 years 9 months ago
2002
Springer
Weather is one of the major causes of aviation accidents. General aviation (GA) flights account for 92% of all the aviation accidents. In spite of all the official and unofficial ...
SIGSOFT
2002
ACM
14 years 10 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
EMSOFT
2008
Springer
13 years 11 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
TSE
2008
13 years 9 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
VLC
2002
13 years 9 months ago
2002
In this paper, we introduce an XML-based Hierarchical QoS Markup Language, called HQML, to enhance distributed multimedia applications on the World Wide Web (WWW) with Quality of ...