Sciweavers

3686 search results - page 421 / 738
» Comprehensive comprehensions
Sort
View
129
Voted
LCN
2005
IEEE
15 years 9 months 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
143
Voted
LICS
2005
IEEE
15 years 9 months 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
15 years 9 months 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...
146
Voted
SSDBM
2005
IEEE
131views Database» more  SSDBM 2005»
15 years 9 months 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
133
Voted
VISSOFT
2005
IEEE
15 years 9 months 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