12084 search results - page 74 / 2417 » Effect Systems with Subtyping |
CSFW
2005
IEEE
14 years 2 months 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...
WICSA
2008
13 years 10 months ago
2008
Architecture-based software development is the implementation of a software system in terms of its architectural constructs (e.g., components, connectors, ports). It has been show...
PPSN
2000
Springer
14 years 19 days ago
2000
Springer
Many bacteria carry gene complexes that code for a toxin-antidote pair, e.g. colicin systems. Such gene complexes can be advantageous for its host by killing competitor bacteria wh...
IJCAI
2007
13 years 10 months ago
2007
Learning capabilities of computer systems still lag far behind biological systems. One of the reasons can be seen in the inefficient re-use of control knowledge acquired over the...
INTERACT
2003
13 years 10 months ago
2003
: Most online help systems on the market prove unsuited to the actual needs of novice users. Although recent research has focused on the design and implementation of contextual, ad...