12084 search results - page 89 / 2417 » Effect Systems with Subtyping |
IJCAI
2001
13 years 10 months ago
2001
The ability to generate effective evaluative arguments is critical for systems intended to advise and persuade their users. We have developed a system that generates evaluative ar...
CADE
2007
Springer
14 years 9 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
ISPASS
2006
IEEE
14 years 3 months ago
2006
IEEE
Modern processors attempt to overcome increasing memory latencies by anticipating future references and prefetching those blocks from memory. The behavior and possible negative si...
AINA
2006
IEEE
14 years 3 months ago
2006
IEEE
In query-based wireless sensor networks (WSNs), the system must perform data sensing and retrieval and possibly aggregate data as a response at runtime. Since a WSN is often deplo...
GLOBECOM
2006
IEEE
14 years 3 months ago
2006
IEEE
— Existing Internet worm research focuses either on worm detection inside an AS, or on prevention of Internet-wide worm epidemic. But of more practical concern is how to repel wo...