645 search results - page 59 / 129 » concurrency 2007 |
91
Voted
EMSOFT
2007
Springer
15 years 4 months ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
81
Voted
IV
2007
IEEE
15 years 6 months ago
2007
IEEE
Despite its popularity and widespread use, timeline visualisation suffers from shortcomings which limit its use for displaying multiple data streams when the number of streams inc...
94
Voted
IMECS
2007
15 years 1 months ago
2007
— This paper proposes an authentication approach to support multi-clients in using a multi-application based environment. The approach is primarily based on the public key infras...
116
Voted
JCS
2007
15 years 12 days ago
2007
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
103
click to vote
PTS
2007
15 years 1 months ago
2007
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...