16725 search results - page 3092 / 3345 » Engineering Software Correctness |
133
click to vote
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
166
click to vote
COMSWARE
2007
IEEE
15 years 10 months ago
2007
IEEE
- Many real-time distributed collaborative applications are emerging that require exchange of critical sensor data among geographically distant end users under resource-constrained...
146
click to vote
COMSWARE
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Wireless sensor networks (WSNs) promise finegrain monitoring in a wide variety of applications, which require dense sensor nodes deployment. Due to high density of nod...
145
click to vote
COMSWARE
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Multihop wireless networks are ideal as infrastructures for location-aware network applications, particularly for disaster recovery operations. However, one missing com...
130
click to vote
COMSWARE
2007
IEEE
15 years 10 months ago
2007
IEEE
—Traditional authentication systems employed on Internet are facing an acute problem of intrusions. In this context we propose a neural architecture for user authentication throu...