2836 search results - page 391 / 568 » Model Checking for Software Architectures |
171
click to vote
UML
2005
Springer
16 years 6 days ago
2005
Springer
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...
164
click to vote
ISCAS
2005
IEEE
16 years 10 days ago
2005
IEEE
—Systems on chip are more and more heterogeneous and include software, analog/RF and digital hardware, and non-electronic components such as sensors or actuators. The design and ...
179
Voted
SAC
2005
ACM
16 years 9 days ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
179
click to vote
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
171
click to vote
DRM
2008
Springer
15 years 8 months ago
2008
Springer
Defining Digital Rights Management (DRM) is a complex task. There is no unique universal definition. There are many legal, economic, functional, and technical definitions. This co...