Sciweavers

5668 search results - page 288 / 1134
» The case for software evolution
Sort
View
FSTTCS
2007
Springer
16 years 25 days ago
Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
Judicaël Courant, Cristian Ene, Yassine Lakhn...
ICCBR
2005
Springer
16 years 6 days ago
Evaluating Case-Based Systems in Virtual Games
TIELT is a software testbed that facilitates the integration and testing of learning-embedded decision systems on user-selected tasks from virtual gaming simulators. A key componen...
Keith Needels, Matthew Molineaux, David W. Aha
WETICE
2003
IEEE
15 years 12 months ago
Use of Scenario Evaluation in Preparation for Deployment of a Collaborative System for Knowledge Transfer - the Case of KiMERA
This paper presented an approach for the evaluation of a collaborative system, after the completion of system development and software testing but before its deployment. Scenario ...
Lydia M. S. Lau, Craig A. Adams, Peter M. Dew, Chr...
FSTTCS
2003
Springer
15 years 12 months ago
An Improved Approximation Scheme for Computing Arrow-Debreu Prices for the Linear Case
Recently, Jain, Mahdian and Saberi [5] had given a FPTAS for the problem of computing a market equilibrium in the Arrow-Debreu setting, when the utilities are linear functions. The...
Nikhil R. Devanur, Vijay V. Vazirani
DEXAW
2000
IEEE
116views Database» more  DEXAW 2000»
15 years 11 months ago
Analyzing Requirements Engineering Processes: A Case Study
Thorough process improvement starts with an analysis of the current situation. This is also true for requirements engineering processes. The goal of cooperation between DaimlerChq...
Frank Houdek, Klaus Pohl