Sciweavers

2700 search results - page 314 / 540
» The role of abstraction in software engineering
Sort
View
FSTTCS
2008
Springer
15 years 7 months ago
Some Sieving Algorithms for Lattice Problems
ABSTRACT. We study the algorithmic complexity of lattice problems based on Ajtai-Kumar-Sivakumar sieving technique [AKS01]. Given a k-dimensional subspace M ⊆ Rn and a full rank ...
Vikraman Arvind, Pushkar S. Joglekar
SOCO
2008
Springer
15 years 6 months ago
Compositional Modeling for Data-Centric Business Applications
Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their...
Ethan K. Jackson, Wolfram Schulte
TASE
2008
IEEE
15 years 6 months ago
Optimal Vibratory Stick-Slip Transport
Abstract--We describe a vibratory part transport mechanism that utilizes both static and dynamic friction to linearly transport parts in a horizontal direction. We derive a horizon...
Paul Umbanhowar, Kevin M. Lynch
CSSE
2004
IEEE
15 years 6 months ago
Trustable B2C markets on the semantic web
Abstract. Semantic Web technologies will deeply influence the further development of the Internet Economy. A major challenge is, however, to find a practical solution for trust pro...
Robert Tolksdorf, Christian Bizer, Rainer Eckstein...
IWPC
2010
IEEE
15 years 5 months ago
On the Equivalence of Information Retrieval Methods for Automated Traceability Link Recovery
Abstract—We present an empirical study to statistically analyze the equivalence of several traceability recovery methods based on Information Retrieval (IR) techniques. The analy...
Rocco Oliveto, Malcom Gethers, Denys Poshyvanyk, A...