1353 search results - page 173 / 271 » Streamlined Constraint Reasoning |
RTAS
2007
IEEE
15 years 4 months ago
2007
IEEE
Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
Multi-agent systems designed to work collaboratively with groups of people typically require private information that people will entrust to them only if they have assurance that ...
FMCAD
2007
Springer
15 years 4 months ago
2007
Springer
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
Multi-agent problem domains may require distributed algorithms for a variety of reasons: local sensors, limitations of communication, and availability of distributed computational...
CCS
2005
ACM
15 years 3 months ago
2005
ACM
Simulatability constitutes the cryptographic notion of a secure refinement and has asserted its position as one of the fundamental concepts of modern cryptography. Although simula...