1477 search results - page 126 / 296 » Token flow control |
112
click to vote
RP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper we consider ν-MSR, a formalism that combines the two main existing approaches for multiset rewriting, namely MSR and CMRS. In ν-MSR we rewrite multisets o...
165
click to vote
EMSOFT
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--Cyber-Physical Systems require distributed architectures to support safety critical real-time control. Kopetz' Time-Triggered Architectures (TTA) have been proposed ...
121
click to vote
FORMATS
2010
Springer
15 years 1 months ago
2010
Springer
In an expected reachability-time game (ERTG) two players, Min and Max, move a token along the transitions of a probabilistic timed automaton, so as to minimise and maximise, respec...
151
click to vote
SOCIALCOM
2010
15 years 1 months ago
2010
Abstract--As the information flowing around in social networking systems is mainly related or can be attributed to their users, controlling access to such information by individual...
134
Voted
PRICAI
2004
Springer
15 years 9 months ago
2004
Springer
Autonomous synthetic actors performing in live stage performances must be capable of generating speech that is not only lexically correct, but emotionally correct; affect can be co...