1288 search results - page 198 / 258 » On Analysis of Design Component Contracts: A Case Study |
137
click to vote
DGO
2008
15 years 3 months ago
2008
We are developing an automated crime reporting and investigative interview system. The system incorporates cognitive interview techniques to maximize witness memory recall, and in...
131
click to vote
FGCS
2010
15 years 2 days ago
2010
This paper describes our research effort to employ Grid technologies to enable the development of geoscience applications by integrating workflow technologies with data mining r...
100
click to vote
CHI
2007
ACM
16 years 1 months ago
2007
ACM
Technologies can be used ? or appropriated ? in different ways by different users, but how do the use patterns evolve, and how can design facilitate such evolution? This paper app...
100
click to vote
ESA
2007
Springer
15 years 7 months ago
2007
Springer
We study the online ad-auctions problem introduced by Mehta et. al. [15]. We design a (1 − 1/e)competitive (optimal) algorithm for the problem, which is based on a clean primal-...
SIGSOFT
2000
ACM
15 years 5 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...