Sciweavers

2912 search results - page 368 / 583
» Overlay Networks - Implementation by Specification
Sort
View
124
Voted
ISMB
2000
15 years 6 months ago
A Pragmatic Information Extraction Strategy for Gathering Data on Genetic Interactions
We present in this paper a pragmatic strategy to perform information extraction from biologic texts. Since the emergence of the information extraction field, techniques have evolv...
Denys Proux, François Rechenmann, Laurent J...
USENIX
1994
15 years 6 months ago
An Overview of the NetWare Operating System
The NetWare operating system is designed specifically to provide service to clients over a computer network. This design has resulted in a system that differs in several respects ...
Drew Major, Greg Minshall, Kyle Powell
213
Voted
DEBU
2010
207views more  DEBU 2010»
15 years 5 months ago
Spatio-temporal Databases in Urban Transportation
In this paper we describe applications, research issues, and approaches related to Intelligent Transportation Systems (ITS). More specifically, we focus on spatio-temporal databas...
Ouri Wolfson, Bo Xu
FUIN
2006
142views more  FUIN 2006»
15 years 5 months ago
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol
Abstract. We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of ...
Magdalena Kacprzak, Alessio Lomuscio, Artur Niewia...
MTA
2008
87views more  MTA 2008»
15 years 4 months ago
Broadband multimedia on the move with DVB-H
DVB-H is the newly standardized extension to DVB-T, aiming at the provision of IP datacasting (IPDC) services to mobile terminals. This tutorial paper outlines the structure of an ...
Georgios Gardikis, Georgios Xilouris, Charalabos S...