1650 search results - page 256 / 330 » The HOM problem is decidable |
145
click to vote
INFOVIS
2000
IEEE
15 years 8 months ago
2000
IEEE
Data visualization environments help users understand and analyze their data by permitting interactive browsing of graphical representations of the data. To further facilitate und...
112
click to vote
IWSSD
2000
IEEE
15 years 8 months ago
2000
IEEE
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequence...
146
click to vote
PODS
2000
ACM
15 years 8 months ago
2000
ACM
The problem of query containment is fundamental to many aspects of database systems, including query optimization, determining independence of queries from updates, and rewriting ...
144
click to vote
CAV
2000
Springer
15 years 8 months ago
2000
Springer
We introduce discrete pushdown timed automata that are timed automata with integer-valued clocks augmented with a pushdown stack. A con guration of a discrete pushdown timed automa...
128
click to vote
ACSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
Recently, research has focused on enabling fair exchange between payment and electronically shipped items. The reason for this is the growing importance of Electronic Commerce and...