7956 search results - page 25 / 1592 » Into the Future |
FROCOS
2005
Springer
14 years 2 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
MADNES
2005
Springer
14 years 2 months ago
2005
Springer
Impersonation attacks in wireless and mobile networks by professional criminal groups are becoming more sophisticated. We confirm with simple risk analysis that impersonation atta...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
Over the last decade significant progress in optoelectronic devices and their integration techniques have made Free-Space Optical Interconnects (FSOI) one of the few physical appro...
ICCCN
2007
IEEE
14 years 21 days ago
2007
IEEE
While research on cross-layer network optimization has been progressing, useful implementations have been lagging because the current Internet architecture does not accommodate cro...
FGCN
2007
IEEE
13 years 10 months ago
2007
IEEE
Road transportation systems are traditionally characterized by how efficient they direct traffic in a non-congested manner towards their destinations. Improvement in car electroni...