2678 search results - page 174 / 536 » Operational Semantics of Transactions |
140
click to vote
FAST
2009
15 years 3 months ago
2009
Perspective is a storage system designed for the home, with the decentralization and flexibility sought by home users and a new semantic filesystem construct, the view, to simplif...
155
click to vote
FOSSACS
2010
Springer
16 years 27 days ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
140
click to vote
CALCO
2009
Springer
16 years 20 days ago
2009
Springer
Higher-order recursion schemes are equations defining recursively new operations from given ones called “terminals”. Every such recursion scheme is proved to have a least inte...
184
click to vote
POLICY
2007
Springer
16 years 5 days ago
2007
Springer
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...
153
click to vote
RTSS
1993
IEEE
15 years 10 months ago
1993
IEEE
This paper presents a technique that is capable of supporting two major requirements for concurrency control in real-time databases: data temporal consistency, and data logical co...