12289 search results - page 2375 / 2458 » System modeling with mixed object and data models |
116
click to vote
ENTCS
2000
15 years 4 months ago
2000
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...
MTA
1998
15 years 3 months ago
1998
: Multimedia applications including video data require the smoothing of video playout to prevent potential playout discontinuity.In this paper, we propose a dynamicvideo playout sm...
160
click to vote
NETWORK
2007
15 years 3 months ago
2007
Passive optical networks are a prominent broadband access solution to tackle the “last mile” bottleneck in telecommunications infrastructure. Data transmission over standardiz...
137
click to vote
RAS
2008
15 years 3 months ago
2008
In this paper, a nonlinear controller design for an omni-directional mobile robot is presented. The robot controller consists of an outer-loop (kinematics) controller and an inner...
123
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—Spectrum sensing is one of the key enabling technologies in Cognitive Radio Networks (CRNs). In CRNs, secondary users (SUs) are allowed to exploit the spectrum opportuni...