3868 search results - page 347 / 774 » Open Systems in TLA |
223
Voted
SOSP
2007
ACM
16 years 4 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 ...
182
click to vote
IWPC
2005
IEEE
16 years 1 months 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...
183
click to vote
SYNASC
2005
IEEE
16 years 1 months 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...
189
click to vote
WORDS
2003
IEEE
16 years 24 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...
202
click to vote
VRML
2003
ACM
16 years 23 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...