Sciweavers

1121 search results - page 87 / 225
» Logics of Complementarity in Information Systems
Sort
View
CODES
2008
IEEE
13 years 10 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
ISCIS
2004
Springer
14 years 2 months ago
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
Andrea Matta, Carlo A. Furia, Matteo Rossi
EUSFLAT
2009
136views Fuzzy Logic» more  EUSFLAT 2009»
13 years 6 months ago
Fuzzy Continuous Evaluation in Training Systems Based on Virtual Reality
The approach of continuous evaluation is an important tool in the learning process. However, only recently it was applied in training based on virtual reality. This paper presents ...
Ronei Moraes, Liliane Machado
ICDCSW
2006
IEEE
14 years 3 months ago
Fuzzy Trust for Peer-to-Peer Systems
Peer-to-peer (P2P) systems are based upon the cooperative interactions of member peers. Typically, peers are both autonomous and self-interested, meaning that there is no hierarch...
Nathan Griffiths, Kuo-Ming Chao, Muhammad Younas
EUSFLAT
2009
140views Fuzzy Logic» more  EUSFLAT 2009»
13 years 6 months ago
Incremental Possibilistic Approach for Online Clustering and Classification
In this paper, we propose to develop the supervised classification method Fuzzy Pattern Matching to be in addition a non supervised one. The goal is to monitor dynamic systems with...
Moamar Sayed Mouchaweh, Bernard Riera