846 search results - page 127 / 170 » Separating Designs from Implementations: Role-Based Software... |
114
click to vote
ISPASS
2010
IEEE
15 years 8 months ago
2010
IEEE
—In the past ten years, computer architecture has seen a paradigm shift from emphasizing single thread performance to energy efficient, throughput oriented, chip multiprocessors...
114
click to vote
CODES
2001
IEEE
15 years 5 months ago
2001
IEEE
In this paper, we present a proposal for a UML profile called `Embedded UML'. Embedded UML represents a synthesis of various ideas in the real-time UML community, and concept...
121
click to vote
ICSE
1998
IEEE-ACM
15 years 5 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Mashup applications mix and merge content (data and code) from multiple content providers in a user's browser, to provide high-value web applications that can rival the user ...
SOSP
1997
ACM
15 years 2 months ago
1997
ACM
Implementing new operating systems is tedious, costly, and often impractical except for large projects. The Flux OSKit addresses this problem in a novel way by providing clean, we...