Sciweavers

4524 search results - page 624 / 905
» The Complexity of Global Constraints
Sort
View
SP
2010
IEEE
222views Security Privacy» more  SP 2010»
15 years 11 months ago
A Symbolic Execution Framework for JavaScript
—As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In ...
Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng...
EDOC
2009
IEEE
15 years 11 months ago
Realizing Correspondences in Multi-viewpoint Specifications
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
José Raúl Romero, Juan Ignacio Jaen,...
175
Voted
ATAL
2006
Springer
15 years 11 months ago
Learning to identify winning coalitions in the PAC model
We consider PAC learning of simple cooperative games, in which the coalitions are partitioned into "winning" and "losing" coalitions. We analyze the complexity...
Ariel D. Procaccia, Jeffrey S. Rosenschein
DASFAA
2004
IEEE
94views Database» more  DASFAA 2004»
15 years 11 months ago
On View Transformation Support for a Native XML DBMS
XML is becoming the standard data exchange format. View transformation of XML data is important and frequent operation in XML data integration and publishing. In schema-based view ...
Daofeng Luo, Ting Chen, Tok Wang Ling, Xiaofeng Me...
EUC
2006
Springer
15 years 11 months ago
Saving Register-File Leakage Power by Monitoring Instruction Sequence in ROB
- Modern portable or embedded systems support more and more complex applications. These applications make embedded devices require not only low powerconsumption, but also high comp...
Wann-Yun Shieh, Hsin-Dar Chen