2943 search results - page 410 / 589 » Software Implementation of Synchronous Programs |
114
click to vote
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...
116
Voted
FASE
1999
Springer
15 years 6 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
101
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Current practice in the design of application software for high-performance embedded computing systems is characterized by long development times, lack of interoperability with ot...
KBSE
1997
IEEE
15 years 6 months ago
1997
IEEE
Despite vast interest in design patterns, the specification and application of patterns is generally assumed to rely on manual implementation. We describe a precise method of spec...
115
click to vote
CC
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...