1177 search results - page 127 / 236 » Integrating Security Administration into Software Architectu... |
CCS
2009
ACM
14 years 28 days ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
Generative programming and aspect-oriented software development have been proposed over the last years aiming at increasing maintainability and reusability of software systems. Wh...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
Recent technology trends in the Web Services (WS) domain indicate that a solution eliminating the presumed complexity of the WS-* standards may be in sight: advocates of REpresent...
EUROMICRO
2009
IEEE
14 years 3 months ago
2009
IEEE
—Current architectures for systems integration provide means for forming agile business processes by manually or dynamically configuring the components. However, a major challeng...
EUROMICRO
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper we introduce the implementation of a streaming video distribution scheme based on client relay modules. The purpose is the formation and maintenance of an overlay ne...