597 search results - page 77 / 120 » E-Process Design and Assurance Using Model Checking |
147
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
124
click to vote
ACSD
2010
IEEE
15 years 2 months ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
243
click to vote
Publication
Satellite networks play an indispensable role in providing global Internet access and electronic connectivity. To achieve such a global communications, provisioning of quality of s...
157
click to vote
TPDS
2008
15 years 4 months ago
2008
Real-time image transmission is crucial to an emerging class of distributed embedded systems operating in open network environments. Examples include avionics mission replanning ov...
157
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...