20126 search results - page 97 / 4026 » Timed Transition Systems |
MVA
1990
15 years 4 months ago
1990
It is strongly desired to construct multimedia databases especially of maps or engineering drawings. If these databases are intended to be used really effectively, original drawin...
133
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
105
Voted
SPLC
2008
15 years 4 months ago
2008
In this paper we propose a behavioural model, namely the Generalized Extended Modal Transition Systems, as a basis for the formalization of different notions of variability usuall...
116
click to vote
AUTOMATICA
2006
15 years 3 months ago
2006
We address the problem of estimating discrete variables in a class of deterministic transition systems in which the continuous variables are available for measurement. We propose ...
117
Voted
SIGECOM
2009
ACM
15 years 9 months ago
2009
ACM
We study protocols to enable one user (the principal) to make potentially profitable but risky interactions with another user (the agent), in the absence of direct trust between ...