6800 search results - page 591 / 1360 » Testing with Functions as Specifications |
213
click to vote
NSDI
2004
15 years 9 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
192
click to vote
WSC
2004
15 years 9 months ago
2004
An interactive tool has been developed for visualizing and creating scaled battlefield based scenarios for use in a simulation testbed to develop and test distributed data fusion ...
211
click to vote
COLING
2000
15 years 9 months ago
2000
We present statistical models for morphological disambiguation in agglutinative languages, with a specific application to Turkish. Turkish presents an interesting problem for stati...
183
click to vote
AIS
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents on-going research towards understanding the discourse and workspace in computer mediated interactions. More specifically we present the development of a series...
210
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Accurate prediction of intra-protein residue contacts from sequence information will allow the prediction of protein structures. Basic predictions of such specific con...