12333 search results - page 106 / 2467 » System Level Modelling for Hardware Software Systems |
134
Voted
ISOLA
2010
Springer
15 years 10 days ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
113
Voted
RSP
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper discusses the initial results of research into the development of a hardware/software co-design of the Java virtual machine. The design considers a complete Java virtua...
113
click to vote
TAPSOFT
1997
Springer
15 years 6 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
123
Voted
ICSM
2003
IEEE
15 years 7 months ago
2003
IEEE
Software systems no longer evolve as separate entities but are also integrated with each other. The purpose of integrating software systems can be to increase user-value or to dec...
110
click to vote
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
The rise of the number and complexity of pervasive systems is a fact. Pervasive systems developers need advanced development methods in order to build better systems in an easy way...