Sciweavers

7380 search results - page 1175 / 1476
» Engineering Software Intensive Systems
Sort
View
144
Voted
CISIS
2009
IEEE
15 years 1 months ago
The Health-e-Waterways Project - Data Integration for Smarter, Collaborative, Whole-of-Water Cycle Management
The Health-e-Waterways Project is a collaboration between the University of Queensland, Microsoft Research and the South East Queensland Healthy Waterways Partnership (SEQ-HWP) (a...
Abdulmonem Alabri, Jane Hunter, Catharine van Inge...
ICSEA
2009
IEEE
15 years 1 months ago
Validation of Scenario-Based Business Requirements with Coloured Petri Nets
A scenario can be used to describe a possible instantiation of a given business use case and can be expressed for example as a list of steps written in natural language, or by an ...
Óscar R. Ribeiro, João M. Fernandes
162
Voted
CCR
2011
14 years 11 months ago
Misbehaviors in TCP SACK generation
While analyzing CAIDA Internet traces of TCP traffic to detect instances of data reneging, we frequently observed seven misbehaviors in the generation of SACKs. These misbehaviors...
Nasif Ekiz, Abuthahir Habeeb Rahman, Paul D. Amer
SIAMAM
2011
14 years 11 months ago
A General Phase Transition Model for Vehicular Traffic
An extension of the Colombo phase transition model is proposed. The congestion phase is described by a two-dimensional zone defined around an equilibrium flux known as the classi...
Sebastien Blandin, Daniel B. Work, Paola Goatin, B...
SIAMCO
2011
14 years 11 months ago
Internal Stabilization by Noise of the Navier--Stokes Equation
One shows that the Navier-Stokes equation in O⊂Rd, d = 2, 3, around an unstable equilibrium solution is exponentially stabilizable in probability by an internal noise controller...
Viorel Barbu, Giuseppe Da Prato
« Prev « First page 1175 / 1476 Last » Next »