3868 search results - page 162 / 774 » Open Systems in TLA |
161
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We answer an open question related to bisimilarity checking on labelled transition systems generated by prefix rewrite rules on words. Stirling (1996, 1998) proved the de...
130
click to vote
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
In my dissertation, I aim to develop a dependence-based impact analysis technique for event-based systems and eventbased components that communicate via messages. This paper motiv...
150
click to vote
IJWBC
2006
15 years 7 months ago
2006
: Autonomous online social systems can emerge from the interaction between the stable social practices of soliciting and eavesdropping when they are performed online. These practic...
262
Voted
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we discuss advances in self-tuning database systems over the past decade, based on our experience in the AutoAdmin project at Microsoft Research. This paper primaril...
149
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we argue that implementing the grand vision of the Semantic Web would greatly benefit from a service which can enable the reuse of globally unique URIs across semant...