2757 search results - page 432 / 552 » On separating systems |
123
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
119
click to vote
ICSM
2003
IEEE
15 years 9 months ago
2003
IEEE
Software maintainers and auditors would benefit from a tool to help them focus their attention on functions that are likely to be the source of security vulnerabilities. However,...
146
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
- It is well known that TCP has performance problems when wireless links are involved in the end-to-end connection. This is due to the high bit error rate characterizing wireless l...
136
click to vote
ISCC
2003
IEEE
15 years 9 months ago
2003
IEEE
Sensor networks have recently gained popularity for a wide spectrum of applications. When performing monitoring tasks in hostile environments, security requirements become critical...
107
click to vote
SAINT
2003
IEEE
15 years 9 months ago
2003
IEEE
Large-scale distributed environments, such as the Internet, achieve advantages in exploiting software agents for applications, thanks to their autonomy in carrying out tasks. In s...