394 search results - page 37 / 79 » Composition mechanisms for retrenchment |
BMCBI
2011
13 years 7 days ago
2011
Background: The substitution rates within different nucleotide contexts are subject to varying levels of bias. The most well known example of such bias is the excess of C to T (C ...
TACAS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
ICSEA
2007
IEEE
14 years 2 months ago
2007
IEEE
The actual standards for service authoring, composition and development are not easy to port and to apply for next generation mobile applications. This paper describes some tools ...
ACSD
2006
IEEE
14 years 2 months ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...
VMCAI
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...