12981 search results - page 2050 / 2597 » Model Checking (Abstract) |
234
click to vote
EKAW
2004
Springer
16 years 25 days ago
2004
Springer
Abstract In this paper we describe a general logic-enabled Formal Concept Analysis (FCA) approach to manage patient record instances. In particular, the conceptual model of the dom...
202
click to vote
EUROCRYPT
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. We propose a simple and efficient construction of a CCAsecure public-key encryption scheme from any CPA-secure identity-based encryption (IBE) scheme. Our construction re...
166
click to vote
FIDJI
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...
163
click to vote
GCC
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. Search is until now a difficult problem in peer-to-peer (P2P) filesharing systems. In this paper, we propose to use adaptive metadata spreading to make search in P2P netw...
236
click to vote
ICWE
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...