Sciweavers

9071 search results - page 104 / 1815
» A co-design modeling approach for computer network systems
Sort
View
CMSB
2009
Springer
15 years 10 months 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...
IVC
2000
173views more  IVC 2000»
15 years 6 months ago
A computational approach to color adaptation effects
The human vision system has adaptation mechanisms that cannot be managed with the classic tri-stimulus color theory. The effects of these mechanisms are clearly visible in some we...
Daniele Marini, Alessandro Rizzi
CAV
2005
Springer
129views Hardware» more  CAV 2005»
15 years 12 months ago
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vard...
IPPS
1999
IEEE
15 years 10 months ago
Dynamic Application Structuring on Heterogeneous, Distributed Systems
The diversity of computers and networks within a distributed system makes these systems highly heterogeneous. System heterogeneity complicates the design of static applications tha...
Saurav Chatterjee
IPPS
2002
IEEE
15 years 11 months ago
A Framework for Network Management Using Mobile Agents
Conventional network management is based on SNMP and often run in a centralized manner. Although the centralized management approach gives network administrators a flexibility of ...
Manoj Kumar Kona, Cheng-Zhong Xu