8874 search results - page 46 / 1775 » A New Implementation of Automath |
WWW
2005
ACM
14 years 11 months ago
2005
ACM
WebDAV needs awareness support in order to be a full-fledged collaboration system, This paper introduces AwareDAV, a new WebDAV extension framework enabling shared awareness throu...
WIA
2004
Springer
14 years 4 months ago
2004
Springer
In this paper we propose a new data structure, called shared automata, for representing deterministic finite automata (DFA). Shared automata admit a strong canonical form for DFA ...
DSN
2003
IEEE
14 years 4 months ago
2003
IEEE
Clock-related operations are one of the many sources of replica non-determinism and of replica inconsistency in fault-tolerant distributed systems. In passive replication, if the ...
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
Many large companies around the world have made considerable investment in enterprise resource planning (ERP) systems to support their business processes. Many of these companies ...
WETICE
2003
IEEE
14 years 4 months ago
2003
IEEE
Large scale distributed applications such as electronic commerce and online marketplaces combine network access with multiple storage and computational elements. The distributed r...