4693 search results - page 194 / 939 » Verifying Hybrid Systems |
165
click to vote
WECWIS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents our hybrid architectural model for Distributed Data Mining (DDM) which is tailored to meet the needs of e-businesses where application service providers sell D...
125
click to vote
MOBIHOC
2009
ACM
16 years 6 months ago
2009
ACM
In this paper, we consider a non-saturated IEEE 802.11 based wireless network. We use a three-way fixed point to model the node behavior with Bernoulli packet arrivals and determi...
233
click to vote
BMCBI
2004
15 years 5 months ago
2004
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 ...
203
click to vote
ENTCS
2006
15 years 5 months ago
2006
The hierarchy of Symbolic Transition Systems, introduced by Henzinger, Majumdar and Raskin, is an elegant classification tool for some families of infinite-state operational model...
152
click to vote
LOGCOM
2007
15 years 5 months ago
2007
Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨uner [5]. Their paper gives tableau-based decision procedur...