5384 search results - page 724 / 1077 » Open Standards Requirements |
219
click to vote
TARK
2007
Springer
16 years 1 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
214
click to vote
ACMSE
2006
ACM
16 years 1 months ago
2006
ACM
Standardized middleware is used to build large distributed real-time and enterprise (DRE) systems. These middleware are highly flexible and support a large number of features sin...
229
click to vote
JCDL
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we present a method of parsing unstructured textual records briefly describing a person and their direct relatives, which we use in the construction of a browsing t...
246
click to vote
CLUSTER
2005
IEEE
16 years 1 months ago
2005
IEEE
Data intensive applications on clusters often require requests quickly be sent to the node managing the desired data. In many applications, one must look through a sorted tree str...
215
click to vote
IEEESCC
2005
IEEE
16 years 1 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...