5591 search results - page 693 / 1119 » Design patterns: between programming and software design |
184
click to vote
FASE
1999
Springer
15 years 11 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 ...
151
click to vote
IPPS
1998
IEEE
15 years 11 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...
231
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
JIT compilation is a model of execution which translates at run time critical parts of the program to a low level representation. Typically a JIT compiler produces machine code fro...
171
click to vote
IADIS
2003
15 years 8 months ago
2003
The potential software market for client-side mobile applications is strongly dependent upon the ability to rapidly migrate existing in-house software solutions, while maintaining...
236
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...