2643 search results - page 159 / 529 » Higher order messaging |
129
click to vote
CORR
2009
Springer
15 years 2 months ago
2009
Springer
A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial assets, we need a se...
113
click to vote
ISCAS
2002
IEEE
15 years 9 months ago
2002
IEEE
We present a first order analog-to-digital converter with time-variant window. If a DC input is applied, the converter outputs a binary sequence until the internal state enters i...
123
click to vote
CNSR
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we discuss the kinds of ambiguities a heuristic encounters during the process of user session reconstruction. Some criteria are introduced to measure these ambiguiti...
140
click to vote
DELTA
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper is concerned with the study of human electroencephalogram (EEG) signal of an epileptic person. In classical EEG analysis rhythms in different bands have often been assu...
151
click to vote
AMAI
2006
Springer
15 years 4 months ago
2006
Springer
This paper proposes a formalization in COQ of common knowledge logic and checks its adequacy on case studies. This exercise allows exploring experimentally the proof-theoretic sid...