330 search results - page 55 / 66 » Engineering distributed software: a structural discipline |
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Design defects come from poor design choices and have the effect of degrading the quality of object-oriented designs. Therefore, they present opportunities for improvements. Howev...
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the...
BMCBI
2006
13 years 7 months ago
2006
Background: In order to maintain the most comprehensive structural annotation databases we must carry out regular updates for each proteome using the latest profile-profile fold r...
LCPC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper, we propose an approach to automatic compiler parallelization based on language extensions that is applicable to a broader range of program structures and a...
CCS
2004
ACM
14 years 1 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...