1419 search results - page 209 / 284 » Using Managed Communication Channels in Software Components |
185
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
The ability to find tables and extract information from them is a necessary component of data mining, question answering, and other information retrieval tasks. Documents often c...
150
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Simulation and verification using electronic design automation (EDA) tools are key steps in the design process for communication and signal processing systems. The synchronous dat...
168
click to vote
IPPS
2008
IEEE
16 years 17 days ago
2008
IEEE
— When an adaptive software component is employed to select the best-performing implementation for a communication operation at runtime, the correctness of the decision taken str...
152
click to vote
ICRA
2008
IEEE
16 years 18 days ago
2008
IEEE
Abstract—This paper presents a hierarchical control architecture that enables cooperative surveillance by a heterogeneous aerial robot network comprised of mothership unmanned ai...
175
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...