4609 search results - page 650 / 922 » Automatic Generation of Sigma-Protocols |
179
click to vote
ICRA
2007
IEEE
16 years 28 days ago
2007
IEEE
—In this paper we present a novel interactive method and interface techniques for controlling the behavior of physically-based simulation of deformable objects. The goal of our r...
160
click to vote
SRDS
2007
IEEE
16 years 27 days ago
2007
IEEE
The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, ha...
171
click to vote
AUSDM
2007
Springer
16 years 24 days ago
2007
Springer
Most current ontology management systems concentrate on detecting usage-driven changes and representing changes formally in order to maintain the consistency. In this paper, we pr...
163
click to vote
EVOW
2007
Springer
16 years 24 days ago
2007
Springer
In liquid chromatography-mass spectrometry (LC-MS) based expression proteomics, samples from different groups are analyzed comparatively in order to detect differences that can p...
187
click to vote
FPL
2007
Springer
16 years 24 days ago
2007
Springer
Multiprocessor systems-on-chip (MPSoC) are being developed in increasing numbers to support the high number of applications running on modern embedded systems. Designing and progr...