2384 search results - page 291 / 477 » Analyzing Requirements Engineering Processes: A Case Study |
141
click to vote
INFOCOM
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we study the Optical Burst Switching (OBS) paradigm for the support of the TCP flows in an All Optical Network (AON). We analyze the TCP send rate, i.e. the amount of...
131
click to vote
FUN
2010
Springer
15 years 9 months ago
2010
Springer
We consider a class of highly dynamic networks modelled on an urban subway system. We examine the problem of creating a map of such a subway in less than ideal conditions, where th...
135
click to vote
CHARME
2001
Springer
15 years 8 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
178
click to vote
INCDM
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Leveraging the power of increasing amounts of data to analyze customer base for attracting and retaining the most valuable customers is a major problem facing companies i...
133
Voted
HIS
2008
15 years 6 months ago
2008
This paper proposes a methodology to generate artificial data sets to evaluate the behavior of machine learning techniques. The methodology relies in the definition of a domain an...