14704 search results - page 2597 / 2941 » computing 2007 |
155
click to vote
EPIA
2007
Springer
15 years 11 months ago
2007
Springer
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
130
click to vote
ER
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs:...
141
click to vote
ERCIMDL
2007
Springer
15 years 11 months ago
2007
Springer
Using keyword search to find relevant objects in digital libraries often results in way too large result sets. Based on the metadata associated with such objects, the faceted sear...
156
click to vote
ESAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Securing wireless mobile ad hoc networks (MANETs) is challenging due to the lack of centralized authority and poor connectivity. A key distribution mechanism is central t...
140
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...