3022 search results - page 446 / 605 » Make Way for WayMaker |
210
Voted
ICTAC
2010
Springer
15 years 5 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
192
Voted
I3E
2003
15 years 8 months ago
2003
: The Internet continues its growth as a medium for the sale of goods and services – and yet, although it would seem that digital content was one of the most obvious products for...
184
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
We propose a computing model, the Two-Way Optical Interference Automata (2OIA), that makes use of the phenomenon of optical interference. We introduce this model to investigate th...
204
Voted
CORR
1998
Springer
15 years 6 months ago
1998
Springer
Technology designers often strive to design systems that are flexible enough to be used in a wide range of situations. Software engineers, in particular, are trained to seek gener...
201
Voted
SOUPS
2010
ACM
15 years 11 months ago
2010
ACM
Effective privacy management requires that mobile systems‟ users be able to make informed privacy decisions as their experience and knowledge of a system progresses. Prior work ...