3724 search results - page 696 / 745 » Timed regular expressions |
145
Voted
CADE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
144
Voted
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
There has been an explosion of hyperlinked data in many domains, e.g., the biological Web. Expressive query languages and effective ranking techniques are required to convert this...
161
Voted
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
Data stream management systems usually have to process many long-running queries that are active at the same time. Multiple queries can be evaluated more efficiently together tha...
146
Voted
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper, we model and analyze the interactions between secondary users in a spectrum overlay cognitive system as a cognitive MAC game. In this game, each secondary user ca...
134
Voted
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
Unit testing component-based distributed systems traditionally involved testing functional concerns of the application logic throughout the development lifecycle. In contrast, tes...