2836 search results - page 285 / 568 » Model Checking for Software Architectures |
143
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
This report summarizes the results and discussions from the 11th Workshop on Aspect-Oriented Modeling (AOM). The workshop was held in conjunction with the International Conference ...
142
click to vote
IEEECIT
2010
IEEE
15 years 3 months ago
2010
IEEE
—As the need for embedded systems to interact with other systems is growing fast, we see great opportunities in introducing the hardware-in-the-loop technique to the field of ha...
142
click to vote
QOSA
2007
Springer
15 years 11 months ago
2007
Springer
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...
149
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
144
click to vote
HPCN
2000
Springer
15 years 8 months ago
2000
Springer
A rather recent approach in programming parallel and distributed systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such a...