87 search results - page 17 / 18 » Behavioral Specification of a Circuit Using SyncCharts: A Ca... |
BMCBI
2008
13 years 5 months ago
2008
Background: Cellular metabolism is one of the most investigated system of biological interactions. While the topological nature of individual reactions and pathways in the network...
SIGCOMM
2009
ACM
13 years 11 months ago
2009
ACM
By studying trouble tickets from small enterprise networks, we conclude that their operators need detailed fault diagnosis. That is, the diagnostic system should be able to diagno...
ICASSP
2009
IEEE
13 years 9 months ago
2009
IEEE
Optimized opportunistic multicast scheduling (OMS) has been studied previously by the authors for homogeneous cellular networks, where the problem of efficiently transmitting a co...
HYBRID
1998
Springer
13 years 9 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
WWW
2008
ACM
14 years 6 months ago
2008
ACM
An infosuasive web application is mainly intended to be at the same time informative and persuasive, i.e., it aims at supporting knowledge needs and it has also the (declared or n...