Sciweavers

248 search results - page 42 / 50
» P2P systems with transactional semantics
Sort
View
FM
1999
Springer
107views Formal Methods» more  FM 1999»
14 years 3 days ago
A Formalization of Software Architecture
Software architecture addresses the high level speciļ¬cation, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
HPCA
2011
IEEE
12 years 11 months ago
Beyond block I/O: Rethinking traditional storage primitives
Over the last twenty years the interfaces for accessing persistent storage within a computer system have remained essentially unchanged. Simply put, seek, read and write have deļ¬...
Xiangyong Ouyang, David W. Nellans, Robert Wipfel,...
EGOV
2004
Springer
14 years 1 months ago
Encoding of Public Records and Procedures in Electronic Registries
An electronic registry is the main mechanism for the official distribution of public records, which are created within the framework of administrative procedures and business trans...
Georgia Prokopiadou, Christos Papatheodorou, Diony...
WWW
2004
ACM
14 years 8 months ago
Managing versions of web documents in a transaction-time web server
This paper presents a transaction-time HTTP server, called ? Apache that supports document versioning. A document often consists of a main file formatted in HTML or XML and severa...
Curtis E. Dyreson, Hui-ling Lin, Yingxia Wang
KI
2004
Springer
14 years 1 months ago
SmartWeb: Mobile Applications of the Semantic Web
Abstract Recent progress in mobile broadband communication and semantic web technology is enabling innovative internet services that provide advanced personalization and localizati...
Wolfgang Wahlster