Sciweavers

614 search results - page 49 / 123
» A RESTful messaging system for asynchronous distributed proc...
Sort
View
DAIS
2006
13 years 10 months ago
Mobile Process Description and Execution
Abstract. Mobile devices are increasingly aware of their respective locations and vicinity and tend to communicate rather loosely with each other; therefore asynchronous communicat...
Christian P. Kunze, Sonja Zaplata, Winfried Lamers...
FMCO
2003
Springer
121views Formal Methods» more  FMCO 2003»
14 years 2 months ago
TulaFale: A Security Tool for Web Services
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
COOPIS
2002
IEEE
14 years 2 months ago
A Filter Object Framework for MICO
Abstract. Filtered delivery model of message passing in an objectoriented distributed computing environment facilitates separation of message control from message processing in a t...
Pranav S. Nabar, Amit L. Padalkar, Rushikesh K. Jo...
IPPS
1999
IEEE
14 years 1 months ago
Communication-Intensive Parallel Applications and Non-dedicated Clusters of Workstations
Time-sharing operating systems may delay application processing of incoming messages because other processes are scheduled when the messages arrive. In this paper, we present a sim...
Kritchalach Thitikamol, Peter J. Keleher
E4MAS
2004
Springer
14 years 1 months ago
Modelling Environments for Distributed Simulation
Abstract. Decentralised, event-driven distributed simulation is particularly suitable for modelling systems with inherent asynchronous parallelism, such as agentbased systems. Howe...
Michael Lees, Brian Logan, Rob Minson, Ton Oguara,...