11395 search results - page 2141 / 2279 » Beyond computer science |
167
click to vote
LICS
2008
IEEE
16 years 16 days ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
180
click to vote
LICS
2008
IEEE
16 years 16 days ago
2008
IEEE
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a link to a stack situated somewhere below it. In addi...
199
click to vote
NDSS
2008
IEEE
16 years 16 days ago
2008
IEEE
Protocol reverse engineering has often been a manual process that is considered time-consuming, tedious and error-prone. To address this limitation, a number of solutions have rec...
197
Voted
TRIDENTCOM
2008
IEEE
16 years 16 days ago
2008
IEEE
— This paper presents the NTP experimental platform for heterogeneous wireless sensor networks (WSN), which is built on the campus of National Tsing Hua University under the supp...
175
click to vote
PDP
2007
IEEE
16 years 13 days ago
2007
IEEE
Universal Plug and Play (UPnP) is a widely accepted standard for automatically detecting devices and services in a local area network as well as for describing and controlling the...