1312 search results - page 200 / 263 » Embedded contract languages |
127
click to vote
FDL
2007
IEEE
15 years 9 months ago
2007
IEEE
Actor-oriented modeling approaches are convenient for implementing functional models of embedded systems. Architectural models for heterogeneous system-on-chip architectures, howe...
115
click to vote
ICDE
2007
IEEE
15 years 9 months ago
2007
IEEE
Information privacy is usually concerned with the confidentiality of personal identifiable information (PII), such as electronic medical records. Nowadays XML services are used to...
108
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
128
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
Enhancing productivity for designing complex embedded systems requires system level design methodology and language support for capturing complex design in high level models. For ...
137
click to vote
IEEESCC
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper introduces SOAR, a service-oriented architecture for the real-estate industry that embeds trust and security, allows for formal correctness proofs of service interactio...