Sciweavers

3836 search results - page 486 / 768
» Dynamic Communicators in MPI
Sort
View
DPD
2006
144views more  DPD 2006»
15 years 6 months ago
Integration of transient Web services into a virtual peer to peer Web service registry
Transient Web service provisioning implies a variety of different requirements that are hard to meet in traditional Web service environments. Currently, Web service brokerage focus...
Schahram Dustdar, Martin Treiber
IJVR
2008
134views more  IJVR 2008»
15 years 6 months ago
An Educational Virtual Scenario for Learning Chaos and Complexity Theories
Based on contemporary Chaos and Complexity Theories, ImaginationTOOLSTM is an innovative Virtual Reality (VR) software architecture which, by means of an agent-based interface, end...
Francesca Bertacchini, Eleonora Bilotta, Pietro Pa...
IJON
2006
68views more  IJON 2006»
15 years 6 months ago
Dendritic cable with active spines: A modelling study in the spike-diffuse-spike framework
The spike-diffuse-spike (SDS) model describes a passive dendritic tree with active dendritic spines. Spine-head dynamics is modelled with a simple integrate-and-fire process, whil...
Yulia Timofeeva, Gabriel J. Lord, Stephen Coombes
ITSSA
2006
90views more  ITSSA 2006»
15 years 6 months ago
The UbiMedic Framework to Support Medical Emergencies by Ubiquitous Computing
: This paper investigates the feasibility of employing the Software Agent technology in the highly dynamic and variable context of healthcare emergency coordination and decision-su...
Francesco De Mola, Giacomo Cabri, Nicola Muratori,...
JOT
2008
200views more  JOT 2008»
15 years 6 months ago
Applying Model Checking to Concurrent UML Models
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
Patrice Gagnon, Farid Mokhati, Mourad Badri