13224 search results - page 2379 / 2645 » Self-monitoring for Computer Users |
141
click to vote
ACSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
General-purpose operating systems provide a rich computing environment both to the user and the attacker. The declining cost of hardware and the growing security concerns of softw...
153
click to vote
ACSD
2003
IEEE
15 years 12 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
168
click to vote
APCSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
Static nodes, e.g. houses, educational institutions etc, can comprise ad-hoc networks using off-the-self wireless technologies with a view to bypass expensive telecommunication so...
175
click to vote
APSEC
2003
IEEE
15 years 12 months ago
2003
IEEE
The size, complexity and duration of typical software engineering projects means that teams of developers will work on them. However, with the exception of version control systems...
161
click to vote
CGI
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents an efficient method of mesh simplification for geometric 3D models. The transmission of 3D models on the Internet is an important task. The data size of a 3D m...