3914 search results - page 666 / 783 » Automating SLA modeling |
157
click to vote
LICS
2008
IEEE
15 years 11 months 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 ...
130
click to vote
RTSS
2008
IEEE
15 years 11 months 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...
143
Voted
TIME
2008
IEEE
15 years 11 months 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...
118
click to vote
TRIDENTCOM
2008
IEEE
15 years 11 months 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 ...
137
Voted
VL
2008
IEEE
15 years 11 months ago
2008
IEEE
When faced with the need for documentation, examples, bug fixes, error descriptions, code snippets, workarounds, templates, patterns, or advice, software developers frequently tu...