1537 search results - page 85 / 308 » Domain-Specific Software Component Models |
127
click to vote
ENVSOFT
2006
15 years 4 months ago
2006
GREAT-ER (Geography-referenced Regional Exposure Assessment Tool for European Rivers) is a model system for predicting chemical fate and exposure in surface waters. The GREAT-ER a...
113
click to vote
EMSOFT
2006
Springer
15 years 7 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...
114
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...
140
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...
144
click to vote
ACSAC
2001
IEEE
15 years 7 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...