Sciweavers

2317 search results - page 295 / 464
» Model based testing for agent systems
Sort
View
BMCBI
2004
323views more  BMCBI 2004»
15 years 3 months ago
Biochemical Network Stochastic Simulator (BioNetS): software for stochastic modeling of biochemical networks
Background: Intrinsic fluctuations due to the stochastic nature of biochemical reactions can have large effects on the response of biochemical networks. This is particularly true ...
David Adalsteinsson, David McMillen, Timothy C. El...
IUI
2003
ACM
15 years 8 months ago
A zero-input interface for leveraging group experience in web browsing
The experience of a trusted group of colleagues can help users improve the quality and focus of their browsing and searching activities. How could a system provide such help, when...
Taly Sharon, Henry Lieberman, Ted Selker
GLVLSI
2008
IEEE
183views VLSI» more  GLVLSI 2008»
15 years 4 months ago
An analytical model for the upper bound on temperature differences on a chip
The main contribution of this work is an analytical model for finding the upper bound on the temperature difference among various locations on the die. The proposed model can be u...
Shervin Sharifi, Tajana Simunic Rosing
JIPS
2010
150views more  JIPS 2010»
14 years 10 months ago
Fast Fuzzy Control of Warranty Claims System
Classical warranty plans require crisp data obtained from strictly controlled reliability tests. However, in a real situation these requirements might not be fulfilled. In an extre...
Sang-Hyun Lee, Sung-Eui Cho, Kyung-li Moon
JCSS
2008
159views more  JCSS 2008»
15 years 3 months ago
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillst...