10038 search results - page 1756 / 2008 » Model Checking for Managers |
166
Voted
ISPASS
2010
IEEE
16 years 15 hour ago
2010
IEEE
—Software instrumentation is a powerful and flexible technique for analyzing the dynamic behavior of programs. By inserting extra code in an application, it is possible to study...
132
click to vote
CHI
2010
ACM
15 years 12 months ago
2010
ACM
Although usability methods are widely used for evaluating conventional graphical user interfaces and websites, there is a growing concern that current approaches are inadequate fo...
132
click to vote
WOSP
2010
ACM
15 years 12 months ago
2010
ACM
For garbage-collected applications, dynamically-allocated objects are contained in a heap. Programmer productivity improves significantly if there is a garbage collector to autom...
131
click to vote
CCS
2010
ACM
15 years 12 months ago
2010
ACM
Many authorization system models include some notion of obligation. Little attention has been given to user obligations that depend on and affect authorizations. However, to be u...
122
click to vote
EDBTW
2010
Springer
15 years 12 months ago
2010
Springer
To face the increasing demand from users, National Statistical Institutes (NSI) release different information products. The dissemination of this information should be performed ...