453 search results - page 13 / 91 » From restrictive to prescriptive design |
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
120
click to vote
RT
1999
Springer
15 years 1 months ago
1999
Springer
The dramatically increasing size of polygonal models resulting from 3D scanning devices and advanced modeling techniques requires new approaches to reduce the load of geometry tran...
CCR
2004
14 years 9 months ago
2004
Routing is a black art in today's Internet. End users and ISPs alike have little control over how their packets are handled outside of their networks, stemming in part from l...
SGP
2007
15 years 3 days ago
2007
Developable surfaces are surfaces that can be unfolded into the plane with no distortion. Although ubiquitous in our everyday surroundings, modeling them using existing tools requ...
COCOA
2010
Springer
14 years 4 months ago
2010
Springer
An intense activity is nowadays devoted to the definition of models capturing the properties of complex networks. Among the most promising approaches, it has been proposed to model...