3458 search results - page 251 / 692 » Abstracting Control |
116
Voted
SIGDOC
2003
ACM
15 years 9 months ago
2003
ACM
Artificial intelligence techniques have found a number of applications in hypermedia, mostly in two specific areas, user interface, particularly adaptive ones and information sear...
155
Voted
FM
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
161
Voted
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
Large scale hardware-supported multithreading, an attractive means of increasing computational power, benefits significantly from low per-thread costs. Hardware support for ligh...
164
Voted
ICC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--We present experimental results for the performance of selected voice codecs using the Datagram Congestion Control Protocol (DCCP) with TCP-Friendly Rate Control (TFRC) c...
104
Voted
OTM
2004
Springer
15 years 9 months ago
2004
Springer
A common breach of network security is the class of attacks called Worm-virus. This paper proposes a language called Triton whose goal is to efficiently and effectively safeguard ...