536 search results - page 56 / 108 » A computer verified, monadic, functional implementation of t... |
162
click to vote
ATVA
2004
Springer
15 years 10 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
160
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Both Java RMI and Jini use a proxy-based architecture. In this architecture, a client interacts with a service through a proxy, which is code downloaded from a directory and insta...
166
click to vote
ICNS
2007
IEEE
16 years 13 days ago
2007
IEEE
Abstract—This paper presents a novel architecture for Gridenabled optical burst switched networks. We suggest an overall Grid network architecture and we propose a Grid Optical U...
152
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
Modern internet and telephone switches consist of numerous VLSI-circuits operating at high frequencies to handle high bandwidths. It is beyond question that such systems must cont...
160
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
This paper proposes a new learning method, which integrates feature selection with classifier construction for human detection via solving three optimization models. Firstly, the ...