3256 search results - page 140 / 652 » Applications of Formal Methods to System Design and Verifica... |
140
Voted
FM
2005
Springer
15 years 10 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
148
click to vote
ENTCS
2006
15 years 4 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
133
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes a proposal of an extended event model using a media synchronization method for video hypermedia applications. In this extended event model, video and metadata...
139
click to vote
SBCCI
2006
ACM
15 years 10 months ago
2006
ACM
Platform-based design is a method to implement complex SoCs, avoiding chip design from scratch. A promising evolution of platform-based design are MPSoC. Such generic architecture...
134
click to vote
CTW
2006
15 years 4 months ago
2006
Cognitive task analysis (CTA) approaches are currently needed in many domains to provide explicit guidance on redesigning existing systems. This study used goal-directed task analy...