4917 search results - page 261 / 984 » Software Engineering is Not Computer Science |
216
click to vote
EGC
2005
Springer
15 years 9 months ago
2005
Springer
For many remote sensing application projects, the quality of the research or the product is heavily dependent upon the quantity of computing cycles available. Middleware is softwar...
102
click to vote
FSTTCS
2007
Springer
15 years 9 months ago
2007
Springer
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...
115
Voted
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...
124
Voted
FSTTCS
2003
Springer
15 years 8 months ago
2003
Springer
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...
103
click to vote
UIST
2009
ACM
15 years 8 months ago
2009
ACM
A pressure sensitive computer keyboard is presented that independently senses the force level on every depressed key. The design leverages existing membrane technologies and is su...