5255 search results - page 1016 / 1051 » Formal Methods for Privacy |
ER
2007
Springer
14 years 1 months ago
2007
Springer
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange acr...
FASE
2007
Springer
14 years 1 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
GPCE
2007
Springer
14 years 1 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
HM
2007
Springer
14 years 1 months ago
2007
Springer
The connected facility location (ConFL) problem generalizes the facility location problem and the Steiner tree problem in graphs. Given a graph G = (V, E), a set of customers D ⊆...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Conceptual Structures is a field of research which shares abstract concepts and interests with recent work on knowledge representation for the Semantic Web. However, whi...