7213 search results - page 1262 / 1443 » Automated model grouping |
167
click to vote
LICS
2008
IEEE
16 years 8 days ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
183
Voted
LICS
2008
IEEE
16 years 8 days ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
153
Voted
RTSS
2008
IEEE
16 years 8 days ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
163
click to vote
TIME
2008
IEEE
16 years 7 days ago
2008
IEEE
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
134
click to vote
TRIDENTCOM
2008
IEEE
16 years 7 days ago
2008
IEEE
This paper presents the setup of a testbed developed for the fast evaluation of RFID systems in two frequency domains. At the one hand the 13.56 MHz and at the other hand the 868 ...