1054 search results - page 33 / 211 » Translation Validation of System Abstractions |
177
click to vote
ASWEC
2007
IEEE
16 years 9 days ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
155
click to vote
APSEC
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
162
click to vote
HIS
2003
15 years 7 months ago
2003
: In this paper, we propose a technique to design Fuzzy Inference Systems (FIS) of Mamdani type with transparency constraints. The technique is based on our Crisp Double Clustering...
162
click to vote
IFIP
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. In this article, we present a flexible simulation environment for embedded real-time software refinement by a mixed level cosimulation. For this, ne the native speed of a...
186
click to vote
LLL
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Automatic lemmatisation is a core application for many language processing tasks. In inflectionally rich languages, such as Slovene, assigning the correct lemma to each ...