Sciweavers

7075 search results - page 321 / 1415
» Models and heterogeneous reasoning
Sort
View
FMCO
2005
Springer
101views Formal Methods» more  FMCO 2005»
16 years 8 days ago
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...
Gian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo M...
INTETAIN
2005
Springer
16 years 7 days ago
Entertainment Personalization Mechanism Through Cross-Domain User Modeling
The growth of available entertainment information services, such as movies and CD listings, or travels and recreational activities, raises a need for personalization techniques for...
Shlomo Berkovsky, Tsvi Kuflik, Francesco Ricci
SAG
2004
Springer
16 years 2 days ago
Modelling a Protein Structure Comparison Application on the Grid Using PROTEUS
Bioinformatics applications manage complex biological data stored into distributed and often heterogeneous databases and require large computing power. Among these, protein structu...
Mario Cannataro, Matteo Comin, Carlo Ferrari, Conc...
INFOCOM
2003
IEEE
16 years 12 hour ago
A Queueing Network Model of an Edge Optical Burst Switching Node
— We consider an edge optical burst switching (OBS) node with or without converters, and with no buffering. The OBS node serves a number of users, each connected to the switch ov...
Lisong Xu, Harry G. Perros, George N. Rouskas
ACRI
2006
Springer
15 years 10 months ago
The Influence of Risk Perception in Epidemics: A Cellular Agent Model
Our work stems from the consideration that the spreading of a disease is modulated by the individual's perception of the infected neighborhood and his/her strategy to avoid be...
Luca Sguanci, Pietro Liò, Franco Bagnoli