15840 search results - page 2844 / 3168 » The Control of Synchronous Systems |
164
click to vote
EUC
2007
Springer
16 years 29 days ago
2007
Springer
Today, proprietary home automation targets very specific applications which operate mostly on a cable based infrastructure. In contrast to that, our implementation builds a wirele...
179
click to vote
EUROSSC
2007
Springer
16 years 29 days ago
2007
Springer
We present a new approach for the detection of complex events in Wireless Sensor Networks. Complex events are sets of data points that correspond to interesting or unusual patterns...
214
click to vote
FPL
2007
Springer
16 years 29 days ago
2007
Springer
An important step in Heterogeneous System Development is Hardware/Software Partitioning. This process involves exploring a huge design space. By using profiling to select hot-spo...
166
click to vote
FROCOS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
179
click to vote
FROCOS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...