1130 search results - page 179 / 226 » Challenges in the design of automotive software |
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
CORR
2006
Springer
14 years 9 months ago
2006
Springer
This paper introduces the CondorJ2 cluster management system. Traditionally, cluster management systems such as Condor employ a process-oriented approach with little or no use of ...
103
click to vote
IJES
2006
14 years 9 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
CN
2004
14 years 9 months ago
2004
Intermediaries are software entities, deployed on hosts of the wireline and wireless network, that mediate the interaction between clients and servers of the World Wide Web. In th...
JUCS
2010
14 years 8 months ago
2010
: The advances and adoption of Trusted Computing and hardware assisted virtualisation technologies in standard PC platforms promise new approaches in building a robust virtualisati...