5477 search results - page 596 / 1096 » Contexts, Domains, and Software |
188
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
195
click to vote
TMRA
2007
Springer
16 years 1 months ago
2007
Springer
Fuzzzy.com, a social bookmarking website has been developed to study collaborative creation of semantics. In a shared online space, users of Fuzzzy continuously create metadata bot...
192
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
199
click to vote
W2GIS
2007
Springer
16 years 1 months ago
2007
Springer
Location-based services (LBS) constitute an emerging application domain rapidly introduced in modern life habits. However, given that LBS already count a few years of commercial li...
237
click to vote
COMPSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
In federated and pervasive networks, trust management has become a cornerstone for information security and privacy. Although people have recognized the importance of privacy and ...