7379 search results - page 96 / 1476 » Distributed vector architectures |
106
click to vote
ICSEA
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
MKM
2004
Springer
15 years 5 months ago
2004
Springer
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
101
click to vote
ICEIS
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract: The work described in this article arises from two needs. First, there is still a need for providing more sophisticated database systems than just relational ones. Second...
ISSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Message-passing mechanism is commonly used to preserve data coherency in distributed systems. This paper presents an algorithm for insertion of minimal message-passing in system-l...
PDPTA
2004
15 years 1 months ago
2004
Current systems for managing workload on clusters of workstations, particularly those available for Linuxbased (Beowulf) clusters, are typically based on traditional process-based...