Sciweavers

3623 search results - page 649 / 725
» Functionally Modeled User Interfaces
Sort
View
FM
2008
Springer
77views Formal Methods» more  FM 2008»
15 years 4 months ago
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
Tom Ridge, Michael Norrish, Peter Sewell
95
Voted
CIMAGING
2010
189views Hardware» more  CIMAGING 2010»
15 years 4 months ago
Novel integro-differential equations in image processing and its applications
Motivated by the hierarchical multiscale image representation of Tadmor et al.,1 we propose a novel integrodifferential equation (IDE) for a multiscale image representation. To th...
Prashant Athavale, Eitan Tadmor
WSC
2004
15 years 3 months ago
Data and Metadata Requirements for Composable Mission Space Environments
Composability is the capability to select and assemble reusable simulation components in various combinations into simulation systems to meet user requirements. The Defense Modeli...
Katherine L. Morse
CCGRID
2010
IEEE
15 years 3 months ago
Decentralized Resource Availability Prediction for a Desktop Grid
In a desktop grid model, the job (computational task) is submitted for execution in the resource only when the resource is idle. There is no guarantee that the job which has starte...
Karthick Ramachandran, Hanan Lutfiyya, Mark Perry
121
Voted
TRANSCI
2010
80views more  TRANSCI 2010»
15 years 28 days ago
Congestion Pricing for Schedule-Based Transit Networks
In this paper, we develop models for adjusting or setting fares on a transit system to encourage passengers to choose travel strategies that lead to the least travel delay for the...
Younes Hamdouch, Siriphong Lawphongpanich