Sciweavers

2106 search results - page 163 / 422
» Specifying C concepts
Sort
View
153
Voted
MOBICOM
2010
ACM
15 years 4 months ago
Stix: a goal-oriented distributed management system for large-scale broadband wireless access networks
Stix is a platform managing emerging large-scale broadband wireless access (BWA) networks. It has been developed to make it easy to manage such networks for community deployments ...
Giacomo Bernardi, Matt Calder, Damon Fenacci, Alex...
140
Voted
CORR
2010
Springer
114views Education» more  CORR 2010»
15 years 4 months ago
Montage: a grid portal and software toolkit for science-grade astronomical image mosaicking
: Montage is a portable software toolkit for constructing custom, science-grade mosaics by composing multiple astronomical images. The mosaics constructed by Montage preserve the a...
Joseph C. Jacob, Daniel S. Katz, G. Bruce Berriman...
4OR
2006
118views more  4OR 2006»
15 years 4 months ago
Dealing with inconsistent judgments in multiple criteria sorting models
Sorting models consist in assigning alternatives evaluated on several criteria to ordered categories. To implement such models it is necessary to set the values of the preference p...
Vincent Mousseau, Luis C. Dias, José Rui Fi...
137
Voted
JSS
2002
90views more  JSS 2002»
15 years 4 months ago
Producing reliable software: an experiment
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
Carol Smidts, Xin Huang, James C. Widmaier
TOPLAS
2010
101views more  TOPLAS 2010»
15 years 3 months ago
Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
Peter Sewell, Pawel T. Wojciechowski, Asis Unyapot...