4693 search results - page 841 / 939 » Verifying Hybrid Systems |
129
Voted
ITIIS
2010
14 years 7 months ago
2010
Integrated RFID-WSNs (wireless sensor networks) have recently been researched to provide object identities, sensing information, mobile service, and network functionalities. In in...
103
Voted
JCIT
2010
14 years 7 months ago
2010
In peer-to-peer networks, it is very difficult to route query successfully, since nodes in the routing path do not always behave according to pre-established routing protocols. To...
97
Voted
JDCTA
2010
14 years 7 months ago
2010
Unwanted traffic injection which amplifies the traffic loading and exhausts network resources is counted as network security threat. Despite of the numerous protection systems, th...
115
click to vote
STTT
2010
14 years 7 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
117
Voted
TON
2010
14 years 7 months ago
2010
This paper develops a new model that describes the queueing process of a communication network when data sources use window flow control. The model takes into account the burstines...