16616 search results - page 2919 / 3324 » Extending Extended Vacuity |
226
click to vote
IUI
2009
ACM
16 years 2 months ago
2009
ACM
Intelligent desktop assistants could provide more help for users if they could learn models of the users’ workflows. However, discovering desktop workflows is difficult becau...
203
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
195
click to vote
PPPJ
2009
ACM
16 years 2 months ago
2009
ACM
Repository-based revision control systems such as CVS, RCS, Subversion, and GIT, are extremely useful tools that enable software developers to concurrently modify source code, man...
218
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
238
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
Many general-purpose, object-oriented scripting languages are dynamically typed, to keep the language flexible and not reject any programs unnecessarily. However, dynamic typing ...