811 search results - page 57 / 163 » Refactoring Using Type Constraints |
FOAL
2009
ACM
14 years 3 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— This paper presents the design of a 14 degree-ofmotion forearm actuation unit for an upper extremity prosthesis. The forearm utilizes pneumatic type actuators which use...
ICCS
2009
Springer
14 years 3 months ago
2009
Springer
Role Based Access Control (RBAC) is a methodology for providing users in an IT system specific permissions like write or read to t abstracts from specific users and binds permiss...
EOR
2008
13 years 8 months ago
2008
Our problem of interest consists of minimizing a separable, convex and differentiable function over a convex set, defined by bounds on the variables and an explicit constraint des...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
This paper details an algorithm for unfolding a class of convex polyhedra, where each polyhedron in the class consists of a convex cap over a rectangular base, with several restri...