8959 search results - page 302 / 1792 » Composing aspects with aspects |
176
click to vote
RELMICS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
178
click to vote
SAFECOMP
2005
Springer
16 years 6 days ago
2005
Springer
This paper describes the results of a research study sponsored by the UK nuclear industry into methods of justifying smart sensors. Smart sensors are increasingly being used in the...
170
click to vote
TARK
2005
Springer
16 years 6 days ago
2005
Springer
This paper addresses two closely related aspects of subjective information. First, no two agents necessarily see the same thing when they observe the same object. Second, no two a...
154
click to vote
SIGOPSE
2004
ACM
16 years 4 days ago
2004
ACM
The architecture of an operating system, e.g. micro kernel or monolithic kernel, is usually seen as something static. Even during the long lasting evolution of operating system co...
166
click to vote
SIGOPSE
2004
ACM
16 years 4 days ago
2004
ACM
This position paper argues that policies for physical memory management and for memory power mode control should be relocated to the system software of a programmable memory manag...