Sciweavers

6978 search results - page 1121 / 1396
» Reframing Requirements Analysis
Sort
View
SIGMOD
2008
ACM
124views Database» more  SIGMOD 2008»
15 years 7 months ago
Scalable network distance browsing in spatial databases
An algorithm is presented for finding the k nearest neighbors in a spatial network in a best-first manner using network distance. The algorithm is based on precomputing the shorte...
Hanan Samet, Jagan Sankaranarayanan, Houman Alborz...
IJISEC
2007
149views more  IJISEC 2007»
15 years 7 months ago
Dynamic security labels and static information flow control
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
Lantian Zheng, Andrew C. Myers
SMA
2008
ACM
154views Solid Modeling» more  SMA 2008»
15 years 7 months ago
Consistent computation of first- and second-order differential quantities for surface meshes
Differential quantities, including normals, curvatures, principal directions, and associated matrices, play a fundamental role in geometric processing and physics-based modeling. ...
Xiangmin Jiao, Hongyuan Zha
AMAI
2005
Springer
15 years 7 months ago
Auction design with costly preference elicitation
We consider auction design in a setting with costly preference elicitation. Well designed auctions can help to avoid unnecessary elicitation while determining efficient allocations...
David C. Parkes
STTT
2008
162views more  STTT 2008»
15 years 7 months ago
Coping with large design spaces: design problem solving in fluidic engineering
Abstract This paper is about tool support for knowledgeintensive engineering tasks. In particular, it introduces software technology to assist the design of complex technical syste...
Benno Stein
« Prev « First page 1121 / 1396 Last » Next »