746 search results - page 43 / 150 » Formal Analysis of UML-Based Designs |
119
click to vote
ISQED
2010
IEEE
15 years 3 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
115
click to vote
AIEDU
2006
15 years 1 months ago
2006
In this article, we discuss the motivation for a novel style of tutorial dialogue system that emphasizes reflection in a simulation based exploratory learning environment called Cy...
136
click to vote
ESTIMEDIA
2008
Springer
15 years 3 months ago
2008
Springer
We propose a design optimization framework for adaptive real-time streaming applications. The main contribution is a hybrid approach for performance analysis combining formal anal...
122
Voted
ISSE
2006
15 years 1 months ago
2006
Providing and managing security for large networked systems is difficult because their size and complexity makes manual design and management nearly impossible. Current security m...
134
Voted
MEMOCODE
2010
IEEE
14 years 11 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...