4460 search results - page 553 / 892 » Formal methods for interactive systems |
195
click to vote
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
Operating systems are complex and their behavior depends on many factors. Source code, if available, does not directly help one to understand the OS's behavior, as the behavi...
186
click to vote
MIR
2004
ACM
16 years 3 days ago
2004
ACM
Video parsing and indexing is an important early stage of contentbased video analysis. In this paper, we present a new web-enabled video indexing system that integrates Synchroniz...
179
click to vote
ALMOB
2006
15 years 6 months ago
2006
Background: Bifurcation analysis has proven to be a powerful method for understanding the qualitative behavior of gene regulatory networks. In addition to the more traditional for...
174
click to vote
CCGRID
2005
IEEE
16 years 9 days ago
2005
IEEE
ABSTRACT. Objectives. This paper addresses Grid-based integration and access of distributed data from infectious disease patient databases, literature on in-vitro and in-vivo pharm...
178
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Traditional workload management methods mainly focus on the current system status while information about the interaction between queued and running transactions is largely ignore...