1021 search results - page 88 / 205 » Concepts in Proof Planning |
151
click to vote
IPPS
2006
IEEE
16 years 11 days ago
2006
IEEE
In a network consisting of several thousands computers, the occurrence of faults is unavoidable. Being able to test the behaviour of a distributed program in an environment where ...
ISCAS
2006
IEEE
16 years 11 days ago
2006
IEEE
— We report on a system designed for the magnetic control of nanoparticles and nanorods. This is accomplished by arrays of current-carrying wires (electromagnets) and the associa...
174
click to vote
CNSR
2005
IEEE
15 years 12 months ago
2005
IEEE
A framework has been developed as a basis for design and implementation of adaptive Web systems. This framework and the respective architecture support the idea of high-level synt...
191
click to vote
CSFW
2005
IEEE
15 years 12 months ago
2005
IEEE
A number of key establishment protocols claim the property of forward secrecy, where the compromise of a longterm key does not result in the compromise of previously computed sess...
179
click to vote
FPT
2005
IEEE
15 years 12 months ago
2005
IEEE
Designing Systems on-Chip is becoming increasingly popular as die sizes increase and technology sizes decrease. The complexity of integrating different types of Processing Element...