1453 search results - page 58 / 291 » State and history in operating systems |
108
click to vote
ACMSE
2007
ACM
15 years 4 months ago
2007
ACM
As a software system evolves to accommodate new features and repair bugs, changes are needed. Software components are interdependent, changes made to one component can require cha...
114
Voted
QEST
2006
IEEE
15 years 6 months ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...
102
click to vote
ICDT
2010
ACM
15 years 3 months ago
2010
ACM
Snapshot Isolation is a popular and efficient protocol for concurrency control. In this paper we discuss Snapshot Isolation in view of the classical theory for transaction process...
111
click to vote
INFORMATICALT
2008
15 years 14 days ago
2008
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components....
124
click to vote
SAC
2008
ACM
14 years 12 months ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...