290 search results - page 12 / 58 » entcs 2006 |
125
click to vote
ENTCS
2006
15 years 4 months ago
2006
ACP is combined with Belnap's four-valued logic via conditional composition (if
ENTCS
2006
15 years 4 months ago
2006
ENTCS
2006
15 years 4 months ago
2006
111
click to vote
ENTCS
2006
15 years 4 months ago
2006
In this paper, we present weighted/priced timed automata, an extension of timed automaton with costs, and solve several interesting problems on that model. Key words: Weighted/pri...
126
click to vote
ENTCS
2006
15 years 4 months ago
2006
Computability theory, which investigates computable functions and computable sets, lies at the foundation of computer science. Its classical presentations usually involve a fair a...