10707 search results - page 93 / 2142 » Designing executable abstractions |
140
click to vote
MODELS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
129
click to vote
TRUST
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Credential platforms implemented on top of Trusted Execution Environments3 (TrEEs) allow users to store and use their credentials, e.g., cryptographic keys or user passwo...
122
click to vote
RTAS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
128
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
The central problem of designing intelligent robot systems which learn by demonstrations of desired behaviour has been largely studied within the field of robotics. Numerous archi...
124
click to vote
WCET
2010
15 years 29 days ago
2010
To meet performance requirements as well as constraints on cost and power consumption, future embedded systems will be designed with multi-core processors. However, the question o...