3625 search results - page 203 / 725 » On Timed Models of Gene Networks |
137
click to vote
WSC
2007
15 years 5 months ago
2007
Cyber security methods are continually being developed. To test these methods many organizations utilize both virtual and physical networks which can be costly and time consuming....
170
Voted
JNW
2008
15 years 2 months ago
2008
The rapid growth of the Internet has triggered an explosion in the number of applications that leverage its capabilities. Unfortunately, many are designed to burden o infrastructur...
127
click to vote
ETFA
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...
142
Voted
ICMCS
2008
IEEE
15 years 10 months ago
2008
IEEE
Recent studies in signal detection theory suggest that the human responses to the stimuli on a visual display are nondeterministic. People may attend to different locations on the...
146
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...