2193 search results - page 342 / 439 » A System for Performance Evaluation of Embedded Software |
145
click to vote
LCN
2005
IEEE
15 years 9 months ago
2005
IEEE
—TCP/IP protocol suite carries most application data in Internet. TCP flow retrieval has more security meanings than the IP packet payload. Hence, monitoring the TCP flow has mor...
137
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
129
click to vote
ICITA
2005
IEEE
15 years 9 months ago
2005
IEEE
Wireless network communities face a number of difficulties due to lack of integration between network and community resources management. In this work, we present a novel solution...
161
click to vote
SACMAT
2010
ACM
15 years 9 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
132
click to vote
UIST
2010
ACM
15 years 2 months ago
2010
ACM
This paper reports on the design and evaluation of UIMarks, a system that lets users specify on-screen targets and associated actions by means of a graphical marking language. UIM...