528 search results - page 98 / 106 » Transition Logic Revisited |
ASWC
2008
Springer
15 years 1 months ago
2008
Springer
Both semantic web applications and individuals are in need of knowledge infrastructures that can be used in dynamic and distributed environments where different autonomous entities...
100
click to vote
ADBIS
2006
Springer
15 years 1 months ago
2006
Springer
Because of information ubiquity, one observes an important trend towards transferring information management tasks from database systems to networks. We introduce the notion of Da...
CONCUR
2008
Springer
15 years 1 months ago
2008
Springer
ion for Stochastic Systems by Erlang's Method of Stages Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 1 RWTH Aachen University 2 TU Munich 3 EPF La...
CSL
2008
Springer
15 years 1 months ago
2008
Springer
not use pointer arithmetic. Such "pure pointer algorithms" thus are a useful abstraction for studying the nature of logspace-computation. In this paper we introduce a for...
89
Voted
ICWS
2007
IEEE
15 years 1 months ago
2007
IEEE
One of the key challenges to successful systems-ofsystems integration using Web services technologies is how to address crosscutting architectural concerns such as policy manageme...