1992 search results - page 68 / 399 » Model Based Testing with Labelled Transition Systems |
148
click to vote
ENTCS
2007
15 years 2 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
131
click to vote
IJCAI
2003
15 years 3 months ago
2003
Hyperlink analysis is a successful approach to define algorithms which compute the relevance of a document on the basis of the citation graph. In this paper we propose a technique...
102
click to vote
ENTCS
2010
15 years 2 months ago
2010
In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for modeling self-adaptive systems. In this model, policies are used as a mechanism to d...
133
click to vote
DAC
1994
ACM
15 years 6 months ago
1994
ACM
Current asynchronous tools are focussed mainly on the design of a single interface module. In many applications, one must design interacting interface modules that potentially comm...
156
click to vote
ANSS
2006
IEEE
15 years 8 months ago
2006
IEEE
Anomaly detection systems largely depend on user profile data to be able to detect deviation from normal activity. Most of this profile data is based on commands executed by use...