4666 search results - page 775 / 934 » Equations on Timed Languages |
128
click to vote
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Wireless sensor networks (WSNs) are difficult to program and usually run statically-installed software limiting its flexibility. To address this, we developed Agilla, a new midd...
146
click to vote
ACMSE
2005
ACM
15 years 9 months ago
2005
ACM
Traditionally, computer science education has considered “objects-first” or “imperative-first” approaches, with the focus of the course on teaching design of programs star...
108
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
127
click to vote
SC
2005
ACM
15 years 9 months ago
2005
ACM
The proliferation of biological sequence data has motivated the need for an extremely fast probabilistic sequence search. One method for performing this search involves evaluating...
119
click to vote
SIGIR
2005
ACM
15 years 9 months ago
2005
ACM
Previous research into the efficiency of text retrieval systems has dealt primarily with methods that consider inverted lists in sequence; these methods are known as term-at-a-tim...