Sciweavers

3686 search results - page 421 / 738
» Comprehensive comprehensions
Sort
View
LCN
2005
IEEE
16 years 8 days ago
Modelling of SACK TCP and application to the HTTP File Transfer Environment
It is known that analytic modelling for TCP latency is a non trivial task. Recently, some significant progress has been made, such as the comprehensive result by Sikdar et al. Ho...
Damien Phillips, Jiankun Hu
LICS
2005
IEEE
16 years 8 days ago
Uniform Distributed Synthesis
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
Bernd Finkbeiner, Sven Schewe
QSIC
2005
IEEE
16 years 8 days ago
Stochastic Voting Algorithms for Web Services Group Testing
This paper proposes a stochastic voting for testing a large number of Web Services (WS) under group testing. In the future, a large number of WS will be available and they need to...
Wei-Tek Tsai, Dawei Zhang, Raymond A. Paul, Yinong...
SSDBM
2005
IEEE
131views Database» more  SSDBM 2005»
16 years 8 days ago
Searching for Related Objects in Relational Databases
To discover knowledge or retrieve information from a relational database, a user often needs to find objects related to certain source objects. There are two main challenges in b...
Xiaoxin Yin, Jiawei Han, Jiong Yang
VISSOFT
2005
IEEE
16 years 8 days ago
Interactive Exploration of UML Sequence Diagrams
Sequence diagrams are commonly used to represent object interactions in software systems. Reverse-engineered sequence diagrams, which are constructed from existing code, are becom...
Richard Sharp, Atanas Rountev