596 search results - page 66 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
145
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...
156
click to vote
FASE
2000
Springer
15 years 9 months ago
2000
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f...
164
click to vote
VLC
2002
15 years 5 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 ...
166
click to vote
CHI
2010
ACM
16 years 28 days ago
2010
ACM
Interest has been growing within HCI on the use of machine learning and reasoning in applications to classify such hidden states as user intentions, based on observations. HCI res...
169
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Feature location aims at locating pieces of code that implement a given set of features (requirements). It is a necessary first step in every program comprehension and maintenanc...