Sciweavers

2306 search results - page 62 / 462
» Modeling issues in a shipping system
Sort
View
CMSB
2009
Springer
14 years 26 days ago
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
Elisabetta De Maria, François Fages, Sylvai...
ER
2007
Springer
70views Database» more  ER 2007»
14 years 3 months ago
As We May Link: A General Metamodel for Hypermedia Systems
Many hypermedia models have been proposed, including those specifically developed to model navigational aspects of web sites. But few hypermedia systems have been implemented base...
Beat Signer, Moira C. Norrie
IC3
2009
13 years 6 months ago
Verification of Liveness Properties in Distributed Systems
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
Divakar Yadav, Michael Butler
COOPIS
2003
IEEE
14 years 2 months ago
BRAIN: A Framework for Flexible Role-Based Interactions in Multiagent Systems
Agent-based approaches in application development seem to meet the requirements of adaptability, scalability, decentralization, and flexibility imposed by complex software systems....
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
DMDW
2001
162views Management» more  DMDW 2001»
13 years 10 months ago
A Data Warehouse Architecture for Meteo Swiss: An Experience Report
In this experience report we consider some issues in the development of a data warehouse for meteorological and climatology data at MeteoSwiss. The paper describes the meteorologi...
Christian Häberli, Dimitris Tombros