1804 search results - page 311 / 361 » Use Cases in Model-Driven Software Engineering |
121
click to vote
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
WSC
2008
15 years 4 months ago
2008
This paper presents a new extension of the DEVS formalism that allows multiple occurrences of a given instance of a DEVS component. This paper is a follow-up to a previous short p...
124
click to vote
EMSOFT
2009
Springer
15 years 8 months ago
2009
Springer
Scratchpads have been widely proposed as an alternative to caches for embedded systems. Advantages of scratchpads include reduced energy consumption in comparison to a cache and a...
CGO
2007
IEEE
15 years 8 months ago
2007
IEEE
Modern memory systems play a critical role in the performance of applications, but a detailed understanding of the application behavior in the memory system is not trivial to atta...
143
click to vote
EMSOFT
2009
Springer
15 years 8 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...