886 search results - page 35 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
TACAS
1998
Springer
15 years 2 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
CMSB
2004
Springer
15 years 3 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
IJCNLP
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents a lightweight method for unsupervised extraction of paraphrases from arbitrary textual Web documents. The method differs from previous approaches to paraphrase...
PAMI
2008
14 years 9 months ago
2008
This study investigates Bayes classification of online Arabic characters using histograms of tangent differences and Gibbs modeling of the class-conditional probability density fun...
AGTIVE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...