680 search results - page 38 / 136 » Analyzing the Effectiveness and Applicability of Co-training |
DPD
2002
13 years 8 months ago
2002
Abstract. We introduce a new mobile transaction model applicable to decisionmaking applications over aggregate data warehoused on mobile hosts. The model allows the aggregate data ...
DATE
2006
IEEE
14 years 2 months ago
2006
IEEE
— Traffic shaping is a well-known technique in the area of networking and is proven to reduce global buffer requirements and end-to-end delays in networked systems. Due to these...
SIGSOFT
1996
ACM
14 years 27 days ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
PE
2007
Springer
13 years 8 months ago
2007
Springer
File swarming (or file sharing) is one of the most important applications in P2P networks. In this paper, we propose a stochastic framework to analyze a file swarming system und...
IUI
2012
ACM
12 years 4 months ago
2012
ACM
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...