Sciweavers

13180 search results - page 203 / 2636
» Network Models
Sort
View
218
Voted
CAV
2012
Springer
241views Hardware» more  CAV 2012»
13 years 6 months ago
Bma: Visual Tool for Modeling and Analyzing Biological Networks
Abstract. BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for bio...
David Benque, Sam Bourton, Caitlin Cockerton, Byro...
126
Voted
IJCNN
2007
IEEE
15 years 10 months ago
System Identification for the Hodgkin-Huxley Model using Artificial Neural Networks
— A single biological neuron is able to perform complex computations that are highly nonlinear in nature, adaptive, and superior to the perceptron model. A neuron is essentially ...
Manish Saggar, Tekin Meriçli, Sari Andoni, ...
125
Voted
WCNC
2008
IEEE
15 years 10 months ago
Performance Modeling of Power Saving Classes with Multiple Connections for Broadband Wireless Networks
—Different types of power-saving techniques have been proposed in various fields to alleviate the limitation on the battery lifetime for the mobile stations (MSs). In order to p...
Yu-Pin Hsu, Kai-Ten Feng
137
Voted
SECON
2010
IEEE
15 years 1 months ago
Adaptive Instantiation of the Protocol Interference Model in Mission-Critical Wireless Networks
Interference model is the basis of MAC protocol design in wireless networks, and it directly affects the efficiency and predictability of wireless messaging. To exploit the strengt...
Xin Che, Xiaohui Liu, Xi Ju, Hongwei Zhang
117
Voted
ICSE
2009
IEEE-ACM
15 years 10 months ago
Verifying networked programs using a model checker extension
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
Watcharin Leungwattanakit, Cyrille Artho, Masami H...