5107 search results - page 268 / 1022 » Design Issue Of ECTST |
135
click to vote
ECRTS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, event-triggered and time-triggered task sets, which communicate...
194
click to vote
EUROMICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
One of the typical features of distributed systems is the heterogeneity of its components (e.g. geographical spreading and different platform architectures), leading to interopera...
129
click to vote
IV
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...
124
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
128
click to vote
HT
2003
ACM
15 years 9 months ago
2003
ACM
Most adaptive hypermedia systems used in education implement a single user model – inevitably originally designed for a specific set of circumstances. In this paper we describe ...