Sciweavers

716 search results - page 113 / 144
» Modelling Bounded Rationality Using Evolutionary Techniques
Sort
View
FIW
2003
115views Communications» more  FIW 2003»
15 years 3 months ago
Generalising Feature Interactions in Email
We report on a property-based approach to feature interaction analysis for a client-server email system. The model is based upon Hall’s email model [12] presented at FIW’00 [3]...
Muffy Calder, Alice Miller
TC
1998
15 years 1 months ago
Analysis of Preventive Maintenance in Transactions Based Software Systems
—Preventive maintenance of operational software systems, a novel technique for software fault tolerance, is used specifically to counteract the phenomenon of software “aging....
Sachin Garg, Antonio Puliafito, Miklós Tele...
IEEECIT
2010
IEEE
15 years 13 days ago
Introducing Hardware-in-Loop Concept to the Hardware/Software Co-design of Real-time Embedded Systems
—As the need for embedded systems to interact with other systems is growing fast, we see great opportunities in introducing the hardware-in-the-loop technique to the field of ha...
Dogan Fennibay, Arda Yurdakul, Alper Sen
DAC
2006
ACM
16 years 2 months ago
Statistical timing based on incomplete probabilistic descriptions of parameter uncertainty
Existing approaches to timing analysis under uncertainty are based on restrictive assumptions. Statistical STA techniques assume that the full probabilistic distribution of parame...
Wei-Shen Wang, Vladik Kreinovich, Michael Orshansk...
AROBOTS
2006
110views more  AROBOTS 2006»
15 years 2 months ago
Flying over the reality gap: From simulated to real indoor airships
Because of their ability to naturally float in the air, indoor airships (often called blimps) constitute an appealing platform for research in aerial robotics. However, when confr...
Jean-Christophe Zufferey, Alexis Guanella, Antoine...