11168 search results - page 1473 / 2234 » Abstract State Processes |
179
click to vote
FASE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...
153
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper identifies important features a cognitive radio framework should provide, namely a virtual architecture ware abstraction, an adaptive run-time system for managing co...
208
Voted
EUROPAR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Utility computing offers researchers and businesses the potential of significant cost-savings in that it is possible for them to match the cost of their computing and s...
197
click to vote
TAP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
165
click to vote
TRIDENTCOM
2008
IEEE
16 years 1 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 ...