1129 search results - page 119 / 226 » Modular Ranking Abstraction |
107
Voted
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields a...
129
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper shows that asynchronous fault detection is a practical way to reflect partial failure in a network-transparent distributed programming language. In the network...
143
Voted
ETRICS
2006
15 years 7 months ago
2006
Abstract. Complex business processes are usually realized by specifying the integration and interaction of smaller modular software components. For example, hitherto monolithic ent...
119
Voted
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
157
Voted
OOIS
2000
Springer
15 years 7 months ago
2000
Springer
ABSTRACT. Cost-effective reconfiguration in ODBMSs is difficult to achieve due to the tradeoff between modularity and efficiency. Existing ODBMS designs offer limited reconfigurabi...