4196 search results - page 385 / 840 » Supporting the development of network programs |
141
click to vote
CSFW
2007
IEEE
15 years 11 months ago
2007
IEEE
Although static systems for information flow security are well-studied, few works address run-time information flow monitoring. Run-time information flow control offers distinc...
127
click to vote
ICSM
2007
IEEE
15 years 11 months ago
2007
IEEE
The quality of identifiers, the coding style and formatting are important aspects that influence program understandings and maintenance. This is confirmed by the presence of se...
130
Voted
EUROITV
2007
Springer
15 years 11 months ago
2007
Springer
The goal of this research project is to investigate the use of technology in supporting social relationships by helping users throughout the decisional process (“What program cou...
144
Voted
TYPES
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Proof erasure plays an essential role in the paradigm of programming with theorem proving. In this paper, we introduce a form of attributive types that carry an attribute...
137
click to vote
ICECCS
2005
IEEE
15 years 10 months ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...