4520 search results - page 70 / 904 » Algebraic Techniques for Timed Systems |
109
click to vote
ENTCS
2010
15 years 1 months ago
2010
The cost of deploying a ubiquitous system to enhance a physical environment is likely to be considerable. The success of its deployment is highly dependent on its context: the phy...
105
click to vote
GLOBAL
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Global computing applications co-ordinate distributed computations across widely-dispersed hosts. Such systems present formidable design and implementation challenges to ...
147
click to vote
WOLLIC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The intruder deduction problem for an electronic purse protocol with blind signatures is considered. The algebraic properties of the protocol are modeled by an equational...
130
click to vote
UTP
2010
14 years 11 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
118
click to vote
INFORMATICALT
1998
15 years 1 months ago
1998
Abstract. In the previous papers (Masreliez and Martin, 1977; Novoviˇcova, 1987; Schick and Mitter, 1994) the problem of recursive estimation of linear dynamic systems parameters ...