10707 search results - page 465 / 2142 » Designing executable abstractions |
150
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
170
click to vote
IRI
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract – In order to fulfill the functional requirements of multimedia management systems while achieving the efficiency and reliability at the same time, we adopt the compone...
136
Voted
IRI
2003
IEEE
15 years 11 months ago
2003
IEEE
The experience of preparing interface design knowledge to be reusable allows reflection on the process, potential, and general challenges of effectively and efficiently using this...
190
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
188
click to vote
ACMDIS
2010
ACM
15 years 6 months ago
2010
ACM
Abstract. Engaging end-users and user communities to take an active part in the cocreation, evolution, and appropriation of modern, interactive systems has become an increasingly i...