10275 search results - page 1951 / 2055 » Case Studies of Autonomy |
185
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
As a result of improvements in process technology, more and more components are being integrated into a single System-on-Chip (SoC) design. Communication between these components ...
143
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Consider a simple network flow problem in which there are n channels directed from a source to a sink. The channel capacities are unknown and we wish to determine a feasible netwo...
190
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We discuss a case study for the hospital scenario where workflow model components are distributed across various computers or devices (e.g. mobile phones, PDAs, sensors, ...
179
click to vote
DFG
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
168
click to vote
CIBCB
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract-- The DNA microarray technology, originally developed to measure the level of gene expression, had become one of the most widely used tools in genomic study. Microarrays h...