3724 search results - page 379 / 745 » Timed regular expressions |
197
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
147
click to vote
AVI
2008
15 years 9 months ago
2008
Pointing on screen edges is a frequent task in our everyday use of computers. Screen edges can help stop cursor movements, requiring less precise movements from the user. Thus, po...
179
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents the design and implementation of BORPH's kernel file system layer that provides FPGA processes direct access to the general file system. Using a semantics...
174
click to vote
AAAI
2010
15 years 8 months ago
2010
It is well known that there cannot be a single "best" heuristic for optimal planning in general. One way of overcoming this is by combining admissible heuristics (e.g. b...
163
click to vote
IADIS
2004
15 years 8 months ago
2004
E-Commerce is contributing in performing the tasks beyond national boundaries and time zones. While it is gaining momentum in developed countries, developing countries are trying ...