1003 search results - page 99 / 201 » A Framework for Developing Feature-Rich Software Systems |
EUROMICRO
1996
IEEE
14 years 1 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
LCTRTS
2010
Springer
14 years 3 months ago
2010
Springer
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...
FPL
2006
Springer
14 years 19 days ago
2006
Springer
Advances in FPGA-based reconfigurable computers have made them a viable computing platform for a vast variety of computation demanding areas such as bioinformatics, speech recogni...
DIMVA
2008
13 years 10 months ago
2008
Software installation provides an attractive entry vector for malware: since installations are performed with administrator privileges, malware can easily get the enhanced level of...
SIGSOFT
2006
ACM
14 years 2 months ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...