Sciweavers

1675 search results - page 10 / 335
» Compositional Model-Based Design
Sort
View
ICFEM
2007
Springer
14 years 1 months ago
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...
FSS
2006
94views more  FSS 2006»
13 years 9 months ago
Generalized transformed t-conorm integral and multifold integral
Fuzzy integrals are commonly used as aggregation operators. In this paper we present new composite models based on fuzzy integrals with several t-conorms. These models permit to f...
Yasuo Narukawa, Vicenç Torra
ACSD
2003
IEEE
115views Hardware» more  ACSD 2003»
14 years 3 months ago
Component-Based Design: Towards Guided Composition
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
Sotiris Moschoyiannis, Michael W. Shields
CEAS
2008
Springer
13 years 11 months ago
Improved Phishing Detection using Model-Based Features
Phishing emails are a real threat to internet communication and web economy. Criminals are trying to convince unsuspecting online users to reveal passwords, account numbers, socia...
André Bergholz, Jeong Ho Chang, Gerhard Paa...
AEI
2007
52views more  AEI 2007»
13 years 10 months ago
A language for functional interpretation of model based simulation
Functional modeling is in use for the interpretation of the results of model based simulation of engineered systems for design analysis, enabling the automatic generation of a tex...
Jonathan Bell, Neal Snooke, Chris Price