16616 search results - page 2989 / 3324 » Extending Extended Vacuity |
173
click to vote
QEST
2006
IEEE
16 years 24 days ago
2006
IEEE
This talk will provide an overview of work that I have done with Hana Chockler, Orna Kupferman, and Judea Pearl [1, 2, 10, 9] on defining notions such as causality, explanation, ...
213
click to vote
RTSS
2006
IEEE
16 years 24 days ago
2006
IEEE
Wireless sensor networks have traditionally focused on low duty-cycle applications where sensor data are reported periodically in the order of seconds or even longer. This is due ...
168
click to vote
SCAM
2006
IEEE
16 years 24 days ago
2006
IEEE
Many articles and tools have been proposed over the years for mining design patterns from source code. These tools differ in several aspects, thus their fair comparison is hard. B...
181
click to vote
SEFM
2006
IEEE
16 years 24 days ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
155
click to vote
VTC
2006
IEEE
16 years 24 days ago
2006
IEEE
There are several scheduling algorithms for Voice over IP (VoIP) services in IEEE 802.16e systems, such as unsolicited grant service (UGS), real-time polling service (rtPS), and ex...