162 search results - page 21 / 33 » Semantics of Trust |
119
Voted
GIS
2009
ACM
15 years 8 months ago
2009
ACM
Gazetteers are key components of georeferenced information systems, including applications such as Web-based mapping services. Existing gazetteers lack the capabilities to fully i...
135
Voted
ECMDAFA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
132
Voted
EKAW
2010
Springer
15 years 12 days ago
2010
Springer
The quality of data is a critical factor for all kinds of decision-making and transaction processing. While there has been a lot of research on data quality in the past two decades...
100
click to vote
DBSEC
2000
15 years 3 months ago
2000
The premises of this paper are 1) security is application dependent because application semantics directly influence proper protection; but 2) applications are generally too compl...
136
click to vote
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...