580 search results - page 8 / 116 » Expressive policy analysis with enhanced system dynamicity |
SEFM
2005
IEEE
14 years 29 days ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
ESOP
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— We are developing a swarm-intelligent inspection system based on a swarm of autonomous, miniature robots, using only on-board, local sensors. To estimate intrinsic adva...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
Protocol reverse engineering, the process of extracting the application-level protocol used by an implementation, without access to the protocol specification, is important for m...
SAC
2008
ACM
13 years 5 months ago
2008
ACM
The Service Oriented Architecture enables the development of flexible large scale-applications in open environments by dynamically combining Web services. Nevertheless, current te...