7557 search results - page 589 / 1512 » Modeling Timed Concurrent Systems |
212
click to vote
MMS
2000
15 years 6 months ago
2000
Excessive buffer requirement to handle continuous-media playbacks is an impediment to costeffective provisioning for on-line video retrieval. Given the skewed distribution of video...
162
click to vote
DATE
2003
IEEE
16 years 11 days ago
2003
IEEE
A new model-order reduction technique for linear dynamic systems is presented. The idea behind this technique is to transform the dynamic system function from the s-domain into th...
189
click to vote
AINA
2006
IEEE
15 years 10 months ago
2006
IEEE
This work presents a proposal to diagnose distributed systems utilizing model-based diagnosis using distributed databases. In order to improve aspects as versatility, persistence,...
165
click to vote
LREC
2008
15 years 8 months ago
2008
Development of lexical resources is, along with grammar development, one of the main efforts when building multilingual NLP applications. In this paper, we present a tool-based ap...
165
click to vote
FPLAY
2008
15 years 8 months ago
2008
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...