Sciweavers

1213 search results - page 48 / 243
» Traceability for System Families
Sort
View
ICMCS
2010
IEEE
232views Multimedia» more  ICMCS 2010»
15 years 27 days ago
The "3D Wiki": Blending virtual worlds and Web architecture for remote collaboration
While a lot of technical data is available on the Web, conveying information about detailed procedures for the assembly and repair of complex machinery has so far been limited mos...
Michael Roberts, Nicolas Ducheneaut, Trevor F. Smi...
EJC
2007
14 years 11 months ago
Minimal paths and cycles in set systems
A minimal k-cycle is a family of sets A0, . . . , Ak−1 for which Ai ∩ Aj = ∅ if and only if i = j or i and j are consecutive modulo k. Let fr(n, k) be the maximum size of a ...
Dhruv Mubayi, Jacques Verstraëte
CICLING
2001
Springer
15 years 4 months ago
Applying Productive Derivational Morphology to Term Indexing of Spanish Texts
This paper deals with the application of natural language processing techniques to the field of information retrieval. To be precise, we propose the application of morphological f...
Jesús Vilares, David Cabrero, Miguel A. Alo...
EUROCRYPT
2010
Springer
15 years 3 months ago
Efficient Lattice (H)IBE in the Standard Model
We construct an efficient identity based encryption system based on the standard learning with errors (LWE) problem. Our security proof holds in the standard model. The key step in...
Shweta Agrawal, Dan Boneh, Xavier Boyen
CODES
2008
IEEE
15 years 1 months ago
Performance debugging of Esterel specifications
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based...
Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samar...