2678 search results - page 536 / 536 » Operational Semantics of Transactions |
109
click to vote
POPL
2011
ACM
14 years 7 days ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
131
click to vote
ICDE
2012
IEEE
12 years 12 months ago
2012
IEEE
—We demonstrate SWITCH, a deep embedding of relational queries into RUBY and RUBY on RAILS. With SWITCH, there is no syntactic or stylistic difference between RUBY programs that ...
106
click to vote
BTW
2007
Springer
15 years 3 months ago
2007
Springer
Abstract: We propose a new system that is able to handle the entire Personal Dataspace of a user. A Personal Dataspace includes all data pertaining to a user on all his disks and o...