16790 search results - page 3093 / 3358 » A Future for Software Engineering |
150
click to vote
FSTTCS
2009
Springer
16 years 21 days ago
2009
Springer
We describe a simple iterative method for proving a variety of results in combinatorial optimization. It is inspired by Jain’s iterative rounding method (FOCS 1998) for designing...
183
Voted
FSTTCS
2009
Springer
16 years 21 days ago
2009
Springer
ABSTRACT. A non-local box is an abstract device into which Alice and Bob input bits x and y respectively and receive outputs a and b respectively, where a, b are uniformly distribu...
163
click to vote
FSTTCS
2009
Springer
16 years 21 days ago
2009
Springer
In this paper, we initiate the study of designing approximation algorithms for FaultTolerant Group-Steiner (FTGS) problems. The motivation is to protect the well-studied group-Ste...
178
click to vote
MODELS
2009
Springer
16 years 20 days ago
2009
Springer
Electronic Health Records (EHR) have been proposed as a means for managing the technical and organisational complexity that arises in modern healthcare. Different EHR systems are...
139
click to vote
OOPSLA
2009
Springer
16 years 20 days ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...