12774 search results - page 373 / 2555 » A Framework for Proof Systems |
244
click to vote
DANCE
2002
IEEE
15 years 12 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
282
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper discusses a program synthesis system to facilitate the generation of high-performance parallel programs for a class of computations encountered in quantum chemistry and...
191
click to vote
CSCW
2000
ACM
15 years 11 months ago
2000
ACM
A need exists to develop groupware systems that adapt to available resources and support user mobility. This paper presents DACIA, a system that provides mechanisms for building s...
167
click to vote
ANCS
2008
ACM
15 years 9 months ago
2008
ACM
Nearly all programmable commercial hardware solutions offered for high-speed networking systems are capable of meeting the performance and flexibility requirements of equipment ve...
179
click to vote
ACL
2010
15 years 4 months ago
2010
In recent years, research in natural language processing has increasingly focused on normalizing SMS messages. Different well-defined approaches have been proposed, but the proble...