1186 search results - page 204 / 238 » State machine models of timing and circuit design |
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— Opportunistic spectrum access and adaptive power management are effective techniques to improve throughput, delay performance, and energy efficiency for wireless networks. In ...
APN
2006
Springer
2006
Springer
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis
13 years 9 months ago
Abstract. We report on the results of an investigation into the integration of Petri nets and ordinary differential equations (ODEs) for the modelling and analysis of biochemical n...
MSWIM
2005
ACM
14 years 1 months ago
2005
ACM
Envisioning a new generation of sensor network applications in healthcare and workplace safety, we seek mechanisms that provide timely and reliable transmissions of mission-critic...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
ate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems Alessandro D’Innocenzo, Alessandro Abate, and Maria D. Di Benedetto — This work proposes a procedure to c...