1529 search results - page 78 / 306 » A Taxonomy of Software Component Models |
114
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Embedded systems are complex as a whole but consist of smaller independent modules minimally interacting with each other. This structure makes embedded systems amenable to composi...
115
click to vote
FASE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...
143
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
The advanced electric power grid is a cyber-physical system comprised of physical components such as power generators and transmission lines, and cyber components that control the...
145
click to vote
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
We present an approach for controlling access to data publishers in the framework of Web-based information services. The paper presents a model for enforcing access control regula...
140
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...