2935 search results - page 292 / 587 » An Integrated Approach to High Integrity Software Verificati... |
164
click to vote
CSFW
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
167
click to vote
VISSOFT
2005
IEEE
16 years 4 days ago
2005
IEEE
The paper presents a new visualization approach to support static concept location in source code. The approach is realized through the combination of two existing tools: IRiSS, w...
239
click to vote
IEEEICCI
2002
IEEE
15 years 11 months ago
2002
IEEE
In this contribution we present a theoretical approach which has been utilized to inform the coordination of the development of complex systems. Coordination is regarded as a form...
153
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Coarse-grained approaches to customization allow the user to enable or disable groups of features at once, rather than individual features. While this may reduce the complexity of...
179
click to vote
ICIW
2009
IEEE
16 years 1 months ago
2009
IEEE
— Supporting business services through Web service compositions (WSC) as part of service-oriented architectures (SOA) involves business performance monitoring requirements. Their...