2223 search results - page 177 / 445 » Events in Property Patterns |
113
Voted
ICTAC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...
112
Voted
SRDS
2000
IEEE
15 years 8 months ago
2000
IEEE
As has been shown, the polygon time structure overcomes the main limitations of the interval time structure, and allows to verify communication protocols, in which the explicit co...
117
Voted
ASM
2008
ASM
15 years 5 months ago
2008
ASM
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...
137
click to vote
DLT
1993
15 years 4 months ago
1993
We concider an extened algebra of regular events (languages) with intersection besides the usual operations. This algebra has the structure of a distributive lattice with monotoni...
107
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
: This technical report details a family of time warp distances on the set of discrete time series. This family is constructed as an editing distance whose elementary operations ap...