3706 search results - page 602 / 742 » KtSeqC: System Description |
163
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Malware detectors require a specification of malicious behavior. Typically, these specifications are manually constructed by investigating known malware. We present an automatic t...
179
click to vote
SIGSOFT
2002
ACM
16 years 7 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
184
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Current web search engines return result pages containing mostly text summary even though the matched web pages may contain informative pictures. A text excerpt (i.e. snippet) is ...
189
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Syndication systems on the Web have attracted vast amounts of attention in recent years. As technologies have emerged and matured, there has been a transition to more expressive s...
171
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
A major difference between corporate intranets and the Internet is that in intranets the barrier for users to create web pages is much higher. This limits the amount and quality o...