900 search results - page 171 / 180 » Pure Type Systems Formalized |
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
FC
2007
Springer
14 years 1 months ago
2007
Springer
This paper introduces Hidden Identity-based Signatures (Hidden-IBS), a type of digital signatures that provide mediated signer-anonymity on top of Shamir’s Identity-based signat...
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
ICEIS
2005
IEEE
14 years 1 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...
DBPL
2005
Springer
14 years 1 months ago
2005
Springer
We study peer-to-peer ðP2PÞ data integration, where each peer models an autonomous system that exports data in terms of its own schema, and data interoperation is achieved by me...