2015 search results - page 103 / 403 » Hidden Software Capabilities |
AMAST
2004
Springer
14 years 2 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
BIOADIT
2004
Springer
14 years 2 months ago
2004
Springer
We present two ways in which dynamic self-assembly can be used to perform computation, via stochastic protein networks and self-assembling software. We describe our protein-emulati...
COORDINATION
1999
Springer
14 years 1 months ago
1999
Springer
Advances in computer networks that support the invocation of remote services in heterogeneous environments enable new levels of software composition. In order to manage composition...
CBSE
2004
Springer
14 years 1 months ago
2004
Springer
There is a conceptual gap between the way we currently articulate requirements and the reuse-driven paradigm embodied in component-based system development. The principal challenge...
SNPD
2008
13 years 10 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...