6581 search results - page 1005 / 1317 » Formalizing Design Patterns |
156
click to vote
ADBIS
2007
Springer
16 years 28 days ago
2007
Springer
The semantics of a new language (CUDL – Conceptual Universal Database Language), designed to manage dynamic database environments, are presented. This language conforms to the FD...
204
click to vote
ATVA
2007
Springer
16 years 27 days ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
181
click to vote
BTW
2007
Springer
16 years 27 days ago
2007
Springer
: Independent, heterogeneous, distributed, sometimes transient and mobile data sources produce an enormous amount of information that should be semantically integrated and filtere...
172
Voted
CAISE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
184
click to vote
CCS
2007
ACM
16 years 27 days ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...