5326 search results - page 136 / 1066 » On what we can ensure |
164
click to vote
SPLC
2008
15 years 7 months ago
2008
In Context-oriented Programming (COP), programs can be partitioned into behavioral variations expressed as sets of partial program definitions. Such layers can be activated and de...
179
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Device drivers are the single largest contributor to operating-system kernel code with over 5 million lines of code in the Linux kernel, and cause significant complexity, bugs an...
180
click to vote
POPL
1998
ACM
15 years 10 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
158
click to vote
MMB
2012
Springer
14 years 1 months ago
2012
Springer
We consider an electricity consumer equipped with a perfect battery, who needs to satisfy a non-elastic load, subject to external control signals. The control imposes a time-varyin...
162
click to vote
FOIKS
2010
Springer
16 years 1 months ago
2010
Springer
The current web is a web of linked pages. Frustrated users search for facts by guessing which keywords or keyword phrases might lead them to pages where they can find facts. Can w...