12670 search results - page 2409 / 2534 » Requirements Modeling |
183
click to vote
PPDP
2007
Springer
16 years 8 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...
198
click to vote
RECOMB
2007
Springer
16 years 8 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...
154
click to vote
STACS
2007
Springer
16 years 8 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...
192
click to vote
TELETRAFFIC
2007
Springer
16 years 8 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...
137
click to vote
WDAG
2007
Springer
16 years 8 days ago
2007
Springer
We introduce the problem of load-distance balancing in assigning users of a delay-sensitive networked application to servers. We model the service delay experienced by a user as a ...