Sciweavers

1095 search results - page 198 / 219
» Algebraic Guide Generation
Sort
View
182
Voted
VL
2010
IEEE
209views Visual Languages» more  VL 2010»
15 years 7 days ago
Automatically Inferring ClassSheet Models from Spreadsheets
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...
Jacome Cunha, Martin Erwig, Joao Saraiva
121
Voted
ACSAC
2010
IEEE
14 years 12 months ago
Multi-vendor penetration testing in the advanced metering infrastructure
- The advanced metering infrastructure (AMI) is revolutionizing electrical grids. Intelligent AMI "smart meters" report real time usage data that enables efficient energy...
Stephen E. McLaughlin, Dmitry Podkuiko, Sergei Mia...
122
Voted
SOCIALCOM
2010
14 years 11 months ago
Facilitating Knowledge Exploration in Folksonomies: Expertise Ranking by Link and Semantic Structures
We developed user models of knowledge exploration in a social tagging system to test the expertise rankings generated by a link-structure method and a semantic-structure method. Th...
Wai-Tat Fu, Wei Dong
DAGSTUHL
2011
14 years 1 months ago
Interactive Isocontouring of High-Order Surfaces
Scientists and engineers are making increasingly use of hp-adaptive discretization methods to compute simulations. While techniques for isocontouring the high-order data generated...
Christian Azambuja Pagot, Joachim E. Vollrath, Fil...
INFOCOM
2012
IEEE
13 years 4 months ago
Network optimization for DHT-based applications
—P2P platforms have been criticized because of the heavy strain that some P2P services can inflict on costly interdomain links of network operators. It is therefore necessary to...
Yi Sun, Yang Richard Yang, Xiaobing Zhang, Yang Gu...