3868 search results - page 514 / 774 » Open Systems in TLA |
224
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
173
click to vote
COCO
2007
Springer
15 years 10 months ago
2007
Springer
Current constructions of efficient argument systems combine a short (polynomial size) PCP with a cryptographic hashing technique. We suggest an alternative approach for this probl...
174
click to vote
EXPCS
2007
15 years 10 months ago
2007
The evaluation of new network server architectures is usually performed experimentally using either a simulator or a hardware prototype. Accurate simulation of the hardwaresoftwar...
195
click to vote
HOTOS
2009
IEEE
15 years 10 months ago
2009
IEEE
The system and network architecture for static sensornets is largely solved today with many stable commercial solutions now available and standardization efforts underway at the I...
195
Voted
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Information systems must establish trust to cooperate effectively in open environments. We are developing an agent-based approach for establishing trust, where information systems ...