18769 search results - page 3370 / 3754 » Requirements Models in Context |
169
click to vote
SIGGRAPH
1990
ACM
15 years 11 months ago
1990
ACM
A formulation for the contact forces between curved surfaces in resting (non-colliding) contact is presented. In contrast to previous formulations, constraints on the allowable ta...
190
Voted
AFRIGRAPH
2009
ACM
15 years 11 months ago
2009
ACM
Traditionally, levels of detail (LOD) for animated characters are computed from a single pose. Later techniques refined this approach by considering a set of sample poses and eval...
180
Voted
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
Energy parity games are infinite two-player turn-based games played on weighted graphs. The objective of the game combines a (qualitative) parity condition with the (quantitative)...
174
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
Parallel prefix adder is the most flexible and widely-used binary adder for ASIC designs. Many high-level synthesis techniques have been developed to find optimal prefix structures...
187
Voted
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Service-oriented architecture (SOA) is becoming a major software framework for building complex distributed systems. Reliability of the service-oriented systems heavily depends on...