Sciweavers

5131 search results - page 476 / 1027
» Heterogeneous Component Analysis
Sort
View
CCCG
2010
15 years 8 months ago
On degeneracy of lower envelopes of algebraic surfaces
We analyze degeneracy of lower envelopes of algebraic surfaces. We focus on the cases omitted in the existing complexity analysis of lower envelopes [Halperin and Sharir 1993], an...
Kimikazu Kato
FLAIRS
2000
15 years 8 months ago
The SH-Verification Tool
r Abstractions + Enduser Interface Analysis Kernel Tools for System Specification Enduser Interface Temporal Logic Homomorphism Editor Preamble Editor Hierarchy Editor APA EditorNe...
Peter Ochsenschläger, Jürgen Repp, Rolan...
CORR
2006
Springer
72views Education» more  CORR 2006»
15 years 7 months ago
A secure archive for Voice-over-IP conversations
An efficient archive securing the integrity of VoIP-based two-party conversations is presented. The solution is based on chains of hashes and continuously chained electronic signa...
Christian Hett, Nicolai Kuntze, Andreas U. Schmidt
ENTCS
2007
95views more  ENTCS 2007»
15 years 7 months ago
Handshake Games
In this paper I present a game model for the semantical analysis of handshake circuits. I show how the model captures effectively the composition of circuits in an associative wa...
Luca Fossati
JSS
2006
127views more  JSS 2006»
15 years 7 months ago
An approach to feature location in distributed systems
This paper describes an approach to the feature location problem for distributed systems, that is, to the problem of locating which code components are important in providing a pa...
Dennis Edwards, Sharon Simmons, Norman Wilde