332 search results - page 10 / 67 » Protocol Modelling Semantics for Embedded Systems |
ECMDAFA
2005
Springer
14 years 27 days ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
RTCSA
1999
IEEE
13 years 11 months ago
1999
IEEE
Abstract. We present an approach to static priority preemptive process scheduling for the synthesis of hard realtime distributed embedded systems where communication plays an impor...
DATE
2000
IEEE
13 years 11 months ago
2000
IEEE
We present an approach to bus access optimization and schedulability analysis for the synthesis of hard real-time distributed embedded systems. The communication model is based on...
ISSS
2000
IEEE
13 years 11 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
SEMWEB
2004
Springer
14 years 21 days ago
2004
Springer
Semantic Web resources — that is, knowledge representation formalisms existing in a distributed hypermedia system — require different addressing and processing models and capac...