18769 search results - page 3626 / 3754 » Requirements Models in Context |
190
click to vote
PPDP
2007
Springer
16 years 18 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
202
click to vote
RECOMB
2007
Springer
16 years 18 days ago
2007
Springer
A complete understanding of transcriptional regulatory processes in the cell requires identification of transcription factor binding sites on a genomewide scale. Unfortunately, th...
165
click to vote
SAMOS
2007
Springer
16 years 17 days ago
2007
Springer
—This paper presents a new methodology based on evolutionary multi-objective optimization (EMO) to synthesize multiple complex modules on programmable devices (FPGAs). It starts ...
162
click to vote
STACS
2007
Springer
16 years 17 days ago
2007
Springer
A coloring of a graph is convex if it induces a partition of the vertices into connected subgraphs. Besides being an interesting property from a theoretical point of view, tests f...
205
click to vote
TELETRAFFIC
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Renewed interest in ALOHA-based Medium Access Control (MAC) protocols stems from their proposed applications to wireless ad hoc and sensor networks that require distribut...