3387 search results - page 369 / 678 » Model-Checking for Real-Time Systems |
192
Voted
SACMAT
2010
ACM
16 years 8 days ago
2010
ACM
The role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are usually unde...
163
click to vote
DATE
2010
IEEE
16 years 16 days ago
2010
IEEE
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...
228
click to vote
FMCAD
2007
Springer
15 years 11 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
204
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Managing the transactions in real time distributed computing system is not easy, as it has heterogeneously networked computers to solve a single problem. If a transaction runs acr...