Sciweavers

2643 search results - page 336 / 529
» Higher order messaging
Sort
View
PVM
2005
Springer
16 years 3 days ago
Calculation of Single-File Diffusion Using Grid-Enabled Parallel Generic Cellular Automata Simulation
Parallel execution of simulation runs has become indispensable in different research areas recently. One of the most promising and powerful models in science are cellular automata ...
Marcus Komann, Christian Kauhaus, Dietmar Fey
W2GIS
2005
Springer
16 years 3 days ago
A Framework for Dynamic Updates of Map Data in Mobile Devices
: Stored map services in mobile devices, such as cellular phones, are being commercialised for the mobile and wireless environment. In order to ensure the quality and accuracy of t...
Hae-Kyong Kang, Ki-Joune Li
WOSP
2004
ACM
16 years 2 days ago
Software performance modelling using PEPA nets
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
Stephen Gilmore, Jane Hillston, Leïla Kloul, ...
CG
2004
Springer
16 years 1 days ago
Searching over Metapositions in Kriegspiel
Kriegspiel is a Chess variant similar to wargames, in which players have to deal with uncertainty. Kriegspiel increases the difficulty typical of Chess by hiding from each player h...
Andrea Bolognesi, Paolo Ciancarini
IPPS
2003
IEEE
15 years 12 months ago
Integration of a CAN-Based Connection-Oriented Communication Model into Real-Time CORBA
The Real-Time CORBA and minimumCORBA specifications are important steps towards defining standard-based middleware which can satisfy real-time requirements in an embedded system...
Stefan Lankes, Andreas Jabs, Thomas Bemmerl