5665 search results - page 1088 / 1133 » Introduction to Computer Security |
185
click to vote
FOSSACS
2005
Springer
16 years 14 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
160
click to vote
OOPSLA
2005
Springer
16 years 13 days ago
2005
Springer
It is well documented that software product cost estimates are notoriously inaccurate across the software industry. Creating accurate cost estimates for software product developme...
177
click to vote
VIZSEC
2005
Springer
16 years 12 days ago
2005
Springer
The massive amount of alarm data generated from intrusion detection systems is cumbersome for network system administrators to analyze. Often, important details are overlooked and...
162
click to vote
CSCW
2004
ACM
16 years 11 days ago
2004
ACM
This paper reports from a study of Norwegian medical emergency call (AMK) centres, in which advanced radio and telephone communication technologies are handled by a team of nurses...
205
click to vote
DMSN
2004
ACM
16 years 11 days ago
2004
ACM
Recent years have witnessed a rapidly growing interest in query processing in sensor and actuator networks. This is mainly due to the increased awareness of query processing as th...