208 search results - page 13 / 42 » Object-oriented real-time concurrency |
115
click to vote
ANSOFT
1999
15 years 4 months ago
1999
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...
135
click to vote
DEXA
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Access control policies are security policies that govern access to resources. Real-time update of access control policies, that is, updating policies while they are in e...
179
click to vote
RTAS
1999
IEEE
15 years 9 months ago
1999
IEEE
Data replication can help database systems meet the stringent temporal constraints of current time-critical applications, especially Internet-based services. A prerequisite, howev...
171
click to vote
PTS
2008
15 years 6 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
158
click to vote
ECBS
2009
IEEE
15 years 11 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...