2864 search results - page 326 / 573 » Geo Linked Data |
178
click to vote
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
124
click to vote
ACSC
2005
IEEE
15 years 10 months ago
2005
IEEE
We examine the robustness of critical infrastructure networks in the face of terrorist attack, using a simulation experiment that incorporates link capacity; and an extension of d...
126
click to vote
ICAC
2005
IEEE
15 years 10 months ago
2005
IEEE
NASA increasingly relies on autonomous systems concepts, not only in the mission control centers on the ground, but also on spacecraft, on rovers and other assets on extraterrestr...
148
Voted
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
— We discuss a distributed imaging architecture with active illumination for sensor network applications. An event-based CMOS imager is employed at the sensor level, to convert l...
160
click to vote
RSP
2005
IEEE
15 years 10 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...