1351 search results - page 151 / 271 » Towards a Spreadsheet Engineering |
148
click to vote
PVLDB
2010
15 years 2 months ago
2010
Keyword search (KWS) over relational databases has recently received significant attention. Many solutions and many prototypes have been developed. This task requires addressing ...
154
click to vote
ICCAD
2009
IEEE
15 years 2 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
167
Voted
JUCS
2010
14 years 11 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
182
Voted
TCOS
2010
14 years 11 months ago
2010
With the increasing wealth of digital information stored on computer systems today, security issues have become increasingly important. In addition to attacks targeting the softwar...
147
Voted
EUROSYS
2008
ACM
16 years 1 months ago
2008
ACM
Video-on-demand (VoD) is increasingly popular with Internet users. It gives users greater choice and more control than live streaming or file downloading. Systems such as MSN Vid...