1179 search results - page 120 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
132
click to vote
DSVIS
2005
Springer
15 years 9 months ago
2005
Springer
Multimodal interactive systems offer a flexibility of interaction that increases their complexity. ICARE is a component-based approach to specify and develop multimodal interfaces...
112
click to vote
SAFECOMP
2005
Springer
15 years 9 months ago
2005
Springer
When the safety community designs their systems to also maintain security properties, it is likely that public-key encryption will be among the tools that are applied. The security...
157
click to vote
APN
2006
Springer
2006
Springer
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis
15 years 6 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...
130
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
We present in this paper a multilevel floorplanning/placement framework based on the B*-tree representation, called MB*-tree, to handle the floorplanning and packing for large-sca...
151
click to vote
DANTE
1999
IEEE
15 years 8 months ago
1999
IEEE
Because performance is a crucial issue in database systems, data caching techniques have been studied in database research field, especially in client-server databases and distrib...