1000 search results - page 146 / 200 » Dependency Tree Automata |
135
click to vote
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
122
Voted
ASE
2005
15 years 17 days ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
93
Voted
CSB
2003
IEEE
15 years 6 months ago
2003
IEEE
We describe a method for finding ungapped conserved words in rRNA sequences that is effective, utilizes evolutionary information and does not depend on multiple sequence alignment...
131
Voted
BPM
2006
Springer
15 years 4 months ago
2006
Springer
Mining, discovering, and integrating process-oriented services has attracted growing attention in the recent year. Workflow precedence graph and workflow block structures are two i...
100
Voted
ISSAC
1995
Springer
15 years 4 months ago
1995
Springer
Dynamic evaluation is a technique for producing multiple results according to a decision tree which evolves with program execution. Sometimes it is desired to produce results for ...