3310 search results - page 379 / 662 » Aspect-aware operating system development |
164
click to vote
IWINAC
2009
Springer
16 years 21 days ago
2009
Springer
Manifold initiatives try to utilize the operational principles of organisms and brains to develop alternative, biologically inspired computing paradigms. This paper reviews key fea...
147
click to vote
APLAS
2009
ACM
16 years 21 days ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
151
click to vote
MOBILITY
2009
ACM
16 years 20 days ago
2009
ACM
In this paper we present a prototype for parental control that detects images with adult content received on a mobile device. More specifically, the application that we developed...
206
click to vote
APSEC
2008
IEEE
16 years 19 days ago
2008
IEEE
This paper aims to present a systematic method to: (1) specify high-level and event based real-time requirements and (2) map the specified requirements to low-level and state-base...
143
click to vote
VTC
2008
IEEE
16 years 16 days ago
2008
IEEE
—Interest in selection relaying is growing. The recent developments in this area have largely focused on information theoretic analyses such as outage performance. Some of these ...