1075 search results - page 109 / 215 » On Singular Interval Systems |
157
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
128
click to vote
ICC
2000
IEEE
15 years 8 months ago
2000
IEEE
— In this paper, we present a framework for the analysis of a set of adaptive variable-bit-rate voice sources in a packet network. The instantaneous bit rate of each source is de...
153
click to vote
ASIAN
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Multimedia presentations and their applications are becoming more and more popular in most spheres of industry and everyday life. A database approach could help in queryi...
123
click to vote
ENTCS
2008
15 years 4 months ago
2008
The problem of "time separation" can be stated as follows: Given a system made of several connected components, each one entailing a local delay known with uncertainty, ...
267
click to vote
FCSC
2011
14 years 8 months ago
2011
Description logics (DLs) are widely employed in recent semantic web application systems. However, classical description logics are limited when dealing with imprecise concepts and ...