831 search results - page 116 / 167 » Software architecture critics in the Argo design environment |
WWW
2005
ACM
16 years 2 months ago
2005
ACM
In a mobile environment where mobile applications suffer from the limitation and variation of system resources availability, it is desirable for the applications to adapt their be...
117
click to vote
CODES
2006
IEEE
15 years 5 months ago
2006
IEEE
During System on Chip (SoC) design, Network on Chip (NoC) prototyping is used for adapting NoC parameters to the application running on the chip. This prototyping is currently don...
100
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
ICSE
2000
IEEE-ACM
15 years 5 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
111
click to vote
HRI
2007
ACM
15 years 5 months ago
2007
ACM
The goal of the RUBI project is to accelerate progress in the development of social robots by addressing the problem at multiple levels, including the development of new scientifi...