Sciweavers

9071 search results - page 104 / 1815
» A co-design modeling approach for computer network systems
Sort
View
CMSB
2009
Springer
15 years 1 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»
14 years 9 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 3 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 2 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 2 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