4048 search results - page 438 / 810 » Design Science, Engineering Science and Requirements Enginee... |
144
click to vote
CSCW
2004
ACM
15 years 11 months ago
2004
ACM
As communications systems increasingly gather and propagate information about people’s reachability or “presence”, users need better tools to minimize undesired interruption...
135
Voted
GI
2001
Springer
15 years 10 months ago
2001
Springer
: With the increase in popularity of XML on the Internet, the requirements of database management systems have shifted from traditional transaction-based databases towards the kind...
164
click to vote
AAAI
2012
13 years 8 months ago
2012
We consider the problem of designing automated strategies for interactions with human subjects, where the humans must be rewarded for performing certain tasks of interest. We focu...
212
click to vote
CCS
2004
ACM
15 years 11 months ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
152
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...