1803 search results - page 277 / 361 » Architectural framework for supporting operating system surv... |
142
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
There is today little doubt on the fact that a high-performance and cost-effective Network-on-Chip can only be designed in 45nm and beyond under a relaxed synchronization assumpti...
154
click to vote
ICWS
2003
IEEE
15 years 7 months ago
2003
IEEE
Policy specification for securing Web services is fast emerging as a key research area due to rapid proliferation of Web services in modern day enterprise applications. Whilst the...
191
click to vote
ACMACE
2009
ACM
15 years 9 months ago
2009
ACM
Nowadays, video games propose rich scenarios with movementsbased game play, through the manipulation of dedicated devices. The motivation of this study is the elaboration of a com...
168
click to vote
QEST
2006
IEEE
16 years 9 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
157
click to vote
RTCSA
1997
IEEE
15 years 10 months ago
1997
IEEE
Emphasis of our research lies on the application of realtime multimedia technology: tele-teaching. teleconferencing arid collaborative work. To support this research we need a rea...