1179 search results - page 191 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
150
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-base...
161
click to vote
KDD
2006
ACM
16 years 4 months ago
2006
ACM
Previous efforts on event detection from the web have focused primarily on web content and structure data ignoring the rich collection of web log data. In this paper, we propose t...
155
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
This paper deals with energy-aware real-time system scheduling using dynamic voltage scaling (DVS) for energy-constrained embedded systems that execute variable and unpredictable ...
152
Voted
EDBT
2006
ACM
16 years 4 months ago
2006
ACM
Scientific data in the life sciences is distributed over various independent multi-format databases and is constantly expanding. We discuss a scenario where a life science research...
247
click to vote
ARGMAS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A framework, PISA, for conducting dialogues to resolve disputes concerning the correct categorisation of particular cases, is described. Unlike previous systems to conduc...