Sciweavers

480 search results - page 51 / 96
» Extracting and Modeling Product Line Functional Requirements
Sort
View
GPCE
2007
Springer
14 years 2 months ago
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
Georg Jung, John Hatcliff
GPCE
2008
Springer
13 years 9 months ago
Property models: from incidental algorithms to reusable components
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
Jaakko Järvi, Mat Marcus, Sean Parent, John F...
CGVR
2006
13 years 10 months ago
A Parametric Model for Automotive Packaging and Ergonomics Design
- This paper describes the capabilities of a parametric model developed to perform design and analysis tasks in the areas of advanced engineering activities during the development ...
Vivek Bhise, Anita Pillai
TCC
2012
Springer
245views Cryptology» more  TCC 2012»
12 years 4 months ago
Secure Two-Party Computation with Low Communication
We propose a 2-party UC-secure protocol that can compute any function securely. The protocol requires only two messages, communication that is poly-logarithmic in the size of the ...
Ivan Damgård, Sebastian Faust, Carmit Hazay
ICRA
1994
IEEE
127views Robotics» more  ICRA 1994»
14 years 25 days ago
A Comparison of Position Estimation Techniques Using Occupancy Grids
A mobile robot requires perception of its local environment for both sensor based locomotion and for position estimation. Occupancy grids, based on ultrasonic range data, provide ...
Bernt Schiele, James L. Crowley