Sciweavers

5740 search results - page 138 / 1148
» Dynamic Distributed BackJumping
Sort
View
AICCSA
2008
IEEE
222views Hardware» more  AICCSA 2008»
14 years 10 days ago
Managing access and flow control requirements in distributed workflows
Abstract. Workflows are operational business processes. Workfow Management Systems (WFMS) are concerned with the control and coordination of these workflows. In recent years, there...
Samiha Ayed, Nora Cuppens-Boulahia, Fréd&ea...
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
13 years 12 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...
MASCOTS
2010
13 years 11 months ago
Distributed Routing for Vehicular Ad Hoc Networks: Throughput-Delay Tradeoff
In this paper, we address the problem of low-latency routing in a vehicular highway network. To cover long highways while minimizing the number of required roadside access points,...
Ali Abedi, Majid Ghaderi, Carey L. Williamson
SEC
2007
13 years 11 months ago
Building a Distributed Semantic-aware Security Architecture
Enhancing the service-oriented architecture paradigm with semantic components is a new field of research and goal of many ongoing projects. The results lead to more powerful web a...
Jan Kolter, Rolf Schillinger, Günther Pernul
SNPD
2007
13 years 11 months ago
OnRipple: A Distributed Overlay Framework for Targeted Immunization in Large-Scale Networks
Targeted Immunization has been researched as an applicable measure for network epidemics. Unless global information is collected, existing targeted strategies are short of strengt...
Sirui Yang, Hai Jin, Xiaofei Liao, Hong Yao