3302 search results - page 459 / 661 » Software Is More Than Code |
139
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...
146
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
The lowly state of the art for file system checking and repair does not match what is needed to keep important data available for users. Current file system checkers, such as e2fs...
139
click to vote
CHI
2010
ACM
16 years 23 days ago
2010
ACM
We present an empirical investigation of video-mediated free play between 13 pairs of friends (ages 7 and 8). The pairs spent 10 minutes playing with each of four different protot...
155
click to vote
PADS
2009
ACM
16 years 21 days ago
2009
ACM
Unexpected model behaviors need explanation, so valid behaviors can be separated from errors. Understanding unexpected behavior requires accumulation of insight into the behavior ...
153
click to vote
CEC
2009
IEEE
16 years 20 days ago
2009
IEEE
— We present a computational model of creative design based on collaborative interactive genetic algorithms. We test our model on floorplanning. We guide the evolution of floor...