Sciweavers

2384 search results - page 145 / 477
» Analyzing Requirements Engineering Processes: A Case Study
Sort
View
ENTCS
2008
87views more  ENTCS 2008»
15 years 6 months ago
A Lightweight Approach for the Semantic Validation of Model Refinements
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
Claudia Pons, Diego García
TIT
2008
83views more  TIT 2008»
15 years 6 months ago
On the Large Deviations of Resequencing Queue Size: 2-M/M/1 Case
Abstract--In data communication networks, packets that arrive at the receiving host may be disordered for reasons such as retransmission of dropped packets or multi-path routing. R...
Ye Xia, David N. C. Tse
ICDE
2005
IEEE
114views Database» more  ICDE 2005»
15 years 12 months ago
VAMANA - A Scalable Cost-Driven XPath Engine
¡ Several systems have recently been proposed for the evaluation of XPath expressions. However, none of these systems have demonstrated both scalability with large document sizes ...
Venkatesh Raghavan, Kurt W. Deschler, Elke A. Rund...
SPAA
2006
ACM
16 years 10 days ago
Astronomical real-time streaming signal processing on a Blue Gene/L supercomputer
LOFAR is the first of a new generation of radio telescopes, that combines the signals from many thousands of simple, fixed antennas, rather than from expensive dishes. Its revol...
John W. Romein, P. Chris Broekema, Ellen van Meije...
CCE
2004
15 years 6 months ago
Tabu search algorithm for chemical process optimization
: This paper presents a meta-heuristic optimization algorithm, Tabu Search (TS), and describes how it can be used to solve a wide variety of chemical engineering problems. Modifica...
B. Lin, D. C. Miller