6527 search results - page 346 / 1306 » On Typing Information Flow |
200
click to vote
ISCC
2003
IEEE
16 years 2 days ago
2003
IEEE
The Internet Distance Map Service (IDMaps) [3] provides distance estimates between any pair of hosts connected to the Internet. The IDMaps system comprises two component types: Tr...
186
Voted
PPOPP
2003
ACM
16 years 1 days ago
2003
ACM
InterWeave is a distributed middleware system that supports the sharing of strongly typed, pointer-rich data structures across a wide variety of hardware architectures, operating ...
165
click to vote
SIGECOM
2003
ACM
16 years 1 days ago
2003
ACM
We analyze data from 52 online in-game sports betting markets (where betting is allowed continuously throughout a game), including 34 markets based on soccer (European football) g...
184
click to vote
CLEF
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. The TextMap-TMT cross-language question answering system at USC-ISI was designed to answer Spanish questions from English documents. The system is fully automatic, includ...
168
click to vote
ATS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a new test generation procedure for sequential circuits using newly traversed state and newly detected fault information obtained between successive iterations of vecto...