4255 search results - page 385 / 851 » Cover |
265
click to vote
GMP
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract. Riemann surfaces naturally appear in the analysis of complex functions that are branched over the complex plane. However, they usually possess a complicated topology and ...
170
click to vote
DAGM
2010
Springer
15 years 7 months ago
2010
Springer
We present a method to classify materials in illumination series data. An illumination series is acquired using a device which is capable to generate arbitrary lighting environment...
208
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
184
click to vote
IC3
2010
15 years 7 months ago
2010
The paper presents a software re-engineering approach that is being used by a consortium of eleven academic institutions facilitated by a software engineering group to re-engineer ...
196
click to vote
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
High quality is one of the critical elements contributing to Web service’s success. Monitoring events that are sensitive to quality of Web services is thus an important issue fo...