2635 search results - page 173 / 527 » Computing multihomogeneous resultants using straight-line pr... |
108
click to vote
AINA
2009
IEEE
15 years 6 months ago
2009
IEEE
This work describes a generic database service for the lightweight Venice Service Grid, which has been developed at the University of Kaiserslautern, Germany. By using Web service...
109
click to vote
CACM
2010
15 years 1 months ago
2010
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
102
click to vote
DRM
2007
Springer
15 years 7 months ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
114
click to vote
CCS
2006
ACM
15 years 4 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
112
click to vote
MP
1998
15 years 25 days ago
1998
In the last 25 years approximation algorithms for discrete optimization problems have been in the center of research in the fields of mathematical programming and computer science...