6197 search results - page 1083 / 1240 » Sandbridge Software Tools |
130
Voted
ICSE
2007
IEEE-ACM
16 years 5 months ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
127
click to vote
EUROSYS
2007
ACM
16 years 2 months ago
2007
ACM
Understanding the detailed behavior of an operating system is crucial for making informed design decisions. But such an understanding is very hard to achieve, due to the increasin...
130
Voted
SOFSEM
2010
Springer
16 years 2 months ago
2010
Springer
Programmers rely on programming idioms, design patterns, and workaround techniques to make up for missing programming language support. Evolving languages often address frequently ...
148
click to vote
IUI
2009
ACM
16 years 2 months ago
2009
ACM
Knowledge workers must manage large numbers of simultaneous, ongoing projects that collectively involve huge numbers of resources (documents, emails, web pages, calendar items, et...
148
click to vote
IUI
2009
ACM
16 years 2 months ago
2009
ACM
We all encounter many documents on a daily basis that we do not have time to process in their entirety. Nevertheless, we lack good tools to rapidly skim and identify key informati...