12115 search results - page 288 / 2423 » Bisimulation of Dynamical Systems |
181
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a wellde ned productbehavior are ruled out. They ca...
151
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In the average consensus a set of linear systems has to be driven to the same final state which corresponds to the average of their initial states. This contribution presents ...
191
click to vote
RTSS
1990
IEEE
15 years 10 months ago
1990
IEEE
Time-critical scheduling in real-time database systems has two components: real-time transaction scheduling,which is related to task scheduling in realtime operating systems, and ...
187
click to vote
DEXA
2008
Springer
15 years 8 months ago
2008
Springer
Information filtering systems constitute a critical component in modern information seeking applications. As the number of users grows and the information available becomes even bi...
147
click to vote
IADIS
2004
15 years 8 months ago
2004
In this paper we claim that the new generation of Web-based systems should offer an intelligent, flexible and interactive support to their users, coupled with the ability to provi...