3868 search results - page 347 / 774 » Open Systems in TLA |
200
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
This paper describes the design, implementation, and evaluation of a replication scheme to handle Byzantine faults in transaction processing database systems. The scheme compares ...
162
click to vote
IWPC
2005
IEEE
16 years 14 days ago
2005
IEEE
Software evolution analysis is concerned with analysis of artifacts produced during a software systems life-cycle. Execution traces produced from instrumented code reflect a syst...
169
click to vote
SYNASC
2005
IEEE
16 years 14 days ago
2005
IEEE
We improve, by using register machines, some existing universality results for specific models of P systems. P systems with membrane creation are known to generate all recursivel...
165
click to vote
WORDS
2003
IEEE
16 years 4 days ago
2003
IEEE
Standards-based COTS middleware has been shown to be effective in meeting a range of functional and QoS requirements for distributed real-time and embedded (DRE) systems. Each sta...
179
click to vote
VRML
2003
ACM
16 years 4 days ago
2003
ACM
Multi-user virtual environment (MUVE) systems integrate the technologies of virtual reality and distributed system to allow users to interact with each other in a realistic virtua...