Sciweavers

255 search results - page 30 / 51
» An abstraction model for a Grid execution framework
Sort
View
IFIP
2003
Springer
14 years 25 days ago
A Novel Approach for Distributed Simulation of Wireless Mobile Systems
Abstract. This position paper introduces the motivation and preliminary implementation issues of a distributed simulation middleware designed to increase the performance and speed-...
Luciano Bononi, Gabriele D'Angelo
ATAL
1998
Springer
13 years 12 months ago
Goal Satisfaction in Large Scale Agent-Systems: A Transportation Example
Abstract. A framework for cooperative goal-satisfaction in large-scale MultiAgent Systems (MAS) is presented in this paper. This is performed by demonstrating the applicability of ...
Onn Shehory, Sarit Kraus, Osher Yadgar
ESORICS
2010
Springer
13 years 8 months ago
Modeling and Analyzing Security in the Presence of Compromising Adversaries
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
David A. Basin, Cas J. F. Cremers
ER
2005
Springer
153views Database» more  ER 2005»
14 years 1 months ago
Automatically Grounding Semantically-Enriched Conceptual Models to Concrete Web Services
Abstract. The paper provides a conceptual framework for designing and executing business processes using semantic Web services. We envision a world in which a designer defines a ...
Eran Toch, Avigdor Gal, Dov Dori
CAV
2006
Springer
120views Hardware» more  CAV 2006»
13 years 11 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan