4650 search results - page 743 / 930 » Conceptual Integration Networks |
143
click to vote
ICN
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper considers the primary and secondary path generation problem in traffic engineering. We first present a standard MILP model. Since its size and integrality gap...
195
click to vote
IFM
2005
Springer
15 years 12 months ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
141
click to vote
IWANN
2005
Springer
15 years 12 months ago
2005
Springer
This presentation has two goals: (i) to review the recently suggested concept of bio-inspired CrossNet architectures for future hybrid CMOL VLSI circuits and (ii) to present new re...
153
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
The latest achievements in the field of mobile networks and ubiquitous computing enable the integration and combination of technologies like Internet, Java, and multimedia in a n...
147
click to vote
CCS
2004
ACM
15 years 12 months ago
2004
ACM
No matter how well designed and engineered, a mix server offers little protection if its administrator can be convinced to log and selectively disclose correspondences between it...