1465 search results - page 166 / 293 » Making the Correct Mistakes |
176
click to vote
ICRA
2005
IEEE
16 years 1 days ago
2005
IEEE
— In the real world, noisy sensors and limited communication make it difficult for robot teams to coordinate in tightly coupled tasks. Team members cannot simply apply single-ro...
158
click to vote
IPPS
2005
IEEE
16 years 1 days ago
2005
IEEE
Modern internet and telephone switches consist of numerous VLSI-circuits operating at high frequencies to handle high bandwidths. It is beyond question that such systems must cont...
171
click to vote
ISQED
2005
IEEE
16 years 1 days ago
2005
IEEE
Recently, a new Dynamic Voltage Scaling (DVS) scheme has been proposed that increases energy efficiency significantly by allowing the processor to operate at or slightly below the...
175
click to vote
KBSE
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
201
click to vote
SCCC
2005
IEEE
16 years 1 days ago
2005
IEEE
Databases may not satisfy integrity constraints (ICs) for several reasons. Nevertheless, in most of the cases an important part of the data is still consistent wrt certain desired...