17 search results - page 2 / 4 » Specifying Authentication Using Signal Events in CSP |
122
Voted
ENTCS
2008
15 years 4 months ago
2008
The problem of "time separation" can be stated as follows: Given a system made of several connected components, each one entailing a local delay known with uncertainty, ...
139
click to vote
FAC
2008
15 years 4 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
152
Voted
BMCBI
2004
15 years 4 months ago
2004
Background: The exploitation of information extraction (IE), a technology aiming to provide instances of structured representations from free-form text, has been rapidly growing w...
142
click to vote
WIMOB
2008
IEEE
15 years 10 months ago
2008
IEEE
With Dynamic Home Agent Address Discovery (DHAAD), as specified in Mobile IPv6, a Mobile Node can discover the address of a suitable Home Agent on the home link. However, DHAAD suf...
150
click to vote
ISCAPDCS
2001
15 years 5 months ago
2001
One purpose of the end-user tools described in this paper is to give users a graphical representation of performance information that has been gathered by instrumenting an applica...