6608 search results - page 1274 / 1322 » On the Completeness of Model Checking |
180
click to vote
ISSTA
2009
ACM
16 years 20 days ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
179
click to vote
MOBILITY
2009
ACM
16 years 20 days ago
2009
ACM
Implementing an electronic payment system involves striking a balance between usability and security. Systems that allow payments to be completed with little effort on the part of...
174
click to vote
RECSYS
2009
ACM
16 years 20 days ago
2009
ACM
Tagging systems have become major infrastructures on the Web. They allow users to create tags that annotate and categorize content and share them with other users, very helpful in...
189
click to vote
DASFAA
2008
IEEE
16 years 18 days ago
2008
IEEE
Graph is an important data structure to model complex structural data, such as chemical compounds, proteins, and XML documents. Among many graph data-based applications, sub-graph ...
144
click to vote
DATE
2008
IEEE
16 years 18 days ago
2008
IEEE
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...