6583 search results - page 947 / 1317 » Semantic Analysis Patterns |
156
click to vote
DATE
2005
IEEE
15 years 12 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
153
click to vote
HICSS
2005
IEEE
15 years 12 months ago
2005
IEEE
Previous research has taught us that the typical nonprofessional information seeker on the World Wide Web submits very short queries resulting in low-precision results. We show th...
172
click to vote
ICCD
2005
IEEE
15 years 12 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
156
click to vote
ICPADS
2005
IEEE
15 years 12 months ago
2005
IEEE
The Internet has become a key instrument for establishing and promoting product brands. Companies are very interested in detecting any misuse of their logos, plagiarism, grey impo...
153
click to vote
QSIC
2005
IEEE
15 years 12 months ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...