1222 search results - page 18 / 245 » Some Results on Directable Automata |
ATVA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
FORMATS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
ENTER
2010
Springer
14 years 3 months ago
2010
Springer
Search engine marketing requires a substantive understanding of the dynamics of the search system in the travel information search context. The goal of this study is to explore th...
TCAD
2002
13 years 8 months ago
2002
VLSI fabrication technology has advanced rapidly, bringing with it a strong demand for faster and better design automation tools. Accurate reporting of results for placement appro...
AAAI
2004
13 years 10 months ago
2004
In this paper we introduce and study Shortest Path Discovery (SPD) problems, a generalization of shortest path problems: In SPD one is given a directed edgeweighted graph and the ...