10447 search results - page 1948 / 2090 » The Philosophy of Computer Science |
150
click to vote
HICSS
2008
IEEE
16 years 15 days ago
2008
IEEE
In recent years, instant messaging (IM) has become a popular medium of online communication. While IM is expanding into the enterprise beyond personal use, it brings the convenien...
179
click to vote
ICASSP
2008
IEEE
16 years 14 days ago
2008
IEEE
Pulse compression radar systems make use of transmit code sequences and receive filters that are specially designed to achieve good range resolution and target detection capabili...
167
click to vote
LICS
2008
IEEE
16 years 13 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 ...
179
click to vote
LICS
2008
IEEE
16 years 13 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 13 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...