3819 search results - page 253 / 764 » Simple Easy Terms |
159
click to vote
IPPS
2003
IEEE
16 years 15 days ago
2003
IEEE
Altering the internal structure of an ATM switch fabric, based on the correlation among ports, can be proved to be advantageous in terms of performance, especially in LAN or campu...
185
click to vote
HT
2003
ACM
16 years 15 days ago
2003
ACM
Tinderbox, a hypertext tool for making, analyzing, and sharing notes, explores the use of collage to build and share linked conceptual structures. Adopting a simple, regular data ...
199
click to vote
ESORICS
2003
Springer
16 years 14 days ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
200
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
This paper compares the performance of the program evaluation phase of genetic programming using C and Common Lisp. A simple experiment is conducted, and the conclusion is that ge...
171
click to vote
BIRTHDAY
1991
Springer
15 years 10 months ago
1991
Springer
First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, ...