7452 search results - page 1158 / 1491 » A Semantics for Multiprocessor Systems |
173
click to vote
DATE
2005
IEEE
16 years 11 days 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...
189
click to vote
HICSS
2005
IEEE
16 years 11 days ago
2005
IEEE
Web services composition is becoming increasingly important as organizations are now getting ready to provide more complex service-based applications. Contemporary literature on t...
193
click to vote
ICAC
2005
IEEE
16 years 11 days ago
2005
IEEE
Motivated by the real-world application of categorizing system log messages into defined situation categories, this paper describes an interactive text categorization method, PICC...
186
click to vote
ICITA
2005
IEEE
16 years 11 days ago
2005
IEEE
Small-sample learning in image retrieval is a pertinent and interesting problem. Relevance feedback is an active area of research that seeks to find algorithms that are robust wi...
165
click to vote
ICPADS
2005
IEEE
16 years 11 days 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...