1419 search results - page 144 / 284 » Notes on Formalizing Context |
115
click to vote
ESWS
2007
Springer
15 years 7 months ago
2007
Springer
Annotea provides an annotation protocol to support collaborative Semantic Web-based annotation of digital resources accessible through the Web. It provides a model whereby a user m...
132
click to vote
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Previous work of the authors has studied a notion of implication between sets of sequences based on the conceptual structure of a Galois lattice, and also a way of repres...
IPSN
2005
Springer
15 years 6 months ago
2005
Springer
We address the problem of selecting sensors so as to minimize the error in estimating the position of a target. We consider a generic sensor model where the measurements can be in...
126
click to vote
AFP
2004
Springer
15 years 6 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
113
click to vote
DRM
2003
Springer
15 years 6 months ago
2003
Springer
In PODC 2003, Park, Chong, Siegel and Ray [22] proposed an optimistic protocol for fair exchange, based on RSA signatures. We show that their protocol is totally breakable already...