9210 search results - page 342 / 1842 » Analyzing Real-Time Systems |
126
Voted
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
Embedded systems make a heavy use of software to perform Real-Time embedded control tasks. Embedded software is characterized by a relatively long lifetime and by tight cost, perf...
126
Voted
CCS
2007
ACM
15 years 9 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
156
Voted
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In recent years, mobile ad-hoc networks (MANET’s) have been deployed in various scenarios, but their scalability is severely restricted by the human operators’ abilit...
106
click to vote
JSA
2008
15 years 3 months ago
2008
Modern day applications require use of multi-processor systems for reasons of performance, scalability and power efficiency. As more and more applications are integrated in a sing...
117
click to vote
FASE
1998
Springer
15 years 7 months ago
1998
Springer
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...