1317 search results - page 158 / 264 » A Technique for Constructing Developable Surfaces |
165
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulationbased verification techniques remove the concurrency informat...
171
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
—In this paper, we present an approach to nonlinear model reduction based on representing a nonlinear system with a piecewise-linear system and then reducing each of the pieces w...
174
Voted
ESORICS
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
157
click to vote
MOBIQUITOUS
2005
IEEE
15 years 11 months ago
2005
IEEE
Routing is a critical function in multi-hop mobile ad hoc networks (MANETs). A number of MANET-oriented routing protocols have been proposed, of which DSR is widely considered bot...
142
Voted
ACMACE
2005
ACM
15 years 11 months ago
2005
ACM
In conventional, visual narrative media such as film, the placement and movement of the camera can be as important a device as the events of the narrative in conveying story and m...