1419 search results - page 144 / 284 » Notes on Formalizing Context |
168
click to vote
ESWS
2007
Springer
16 years 14 days 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...
184
click to vote
ICCS
2007
Springer
16 years 14 days 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...
159
click to vote
IPSN
2005
Springer
15 years 11 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...
178
click to vote
AFP
2004
Springer
15 years 11 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...
170
click to vote
DRM
2003
Springer
15 years 11 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...