1804 search results - page 311 / 361 » Use Cases in Model-Driven Software Engineering |
164
click to vote
FOSSACS
2009
Springer
16 years 23 days 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...
150
click to vote
WSC
2008
15 years 8 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...
168
click to vote
EMSOFT
2009
Springer
16 years 17 days 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...
139
click to vote
CGO
2007
IEEE
16 years 10 days 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...
189
click to vote
EMSOFT
2009
Springer
16 years 17 days 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 ...