1712 search results - page 291 / 343 » Abstract Constraint Data Types |
107
click to vote
DIAL
2004
IEEE
15 years 2 months ago
2004
IEEE
Obsolescence in storage media and the hardware and software for access and use can render old electronic files inaccessible and unusable. Therefore, the long-term preservation of ...
97
Voted
ICEIS
2005
IEEE
15 years 4 months ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
102
click to vote
DEXA
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Sensor database is a type of database management system which offers sensor data and stored data in its data model and query languages. In this system, when a user poses ...
ESWS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The current state of the art regarding scalable reasoning consists of programs that run on a single machine. When the amount of data is too large, or the logic is too com...
FAC
2007
14 years 11 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...