2678 search results - page 331 / 536 » Operational Semantics of Transactions |
142
Voted
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
140
click to vote
ICWS
2007
IEEE
15 years 6 months ago
2007
IEEE
There is a critical need to design and develop tools tract away the fundamental complexity of XML based Web services specifications and toolkits, and provide an elegant, intuitive...
147
click to vote
OPODIS
2004
15 years 6 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
142
click to vote
OSDI
2000
ACM
15 years 6 months ago
2000
ACM
The tradeoffs between consistency, performance, and availability are well understood. Traditionally, however, designers of replicated systems have been forced to choose from eithe...
156
click to vote
USENIX
1994
15 years 6 months ago
1994
Ficus is a flexible replication facility with optimistic concurrency control designed to span a wide range of scales and network environments. Optimistic concurrency control provi...