707 search results - page 32 / 142 » Performance Modeling and Analysis of the Universal Control H... |
173
click to vote
MOBIHOC
2006
ACM
16 years 3 months ago
2006
ACM
Recent studies on mobility modeling have focused on characterizing user mobility from real traces of wireless LANs (WLANs) and creating mobility models based on such characterizat...
128
click to vote
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Nonlinearities and the lack of accurate quantitative information considerably hamper modeling and system analysis of biochemical networks. Here we propose a procedure for...
123
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Markov chains have been used to model web usages and served as the basis for statistical testing, performance evaluation, and reliability analysis. However, most of such applicati...
126
click to vote
INFORMATICALT
2008
15 years 4 months ago
2008
In this paper, we present a novel fine-grained access control system for applications where the information flow is critical; the confidentiality of the data is essential and there...
133
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...