Sciweavers

3387 search results - page 583 / 678
» Automating the Metamodeling Process
Sort
View
SP
2002
IEEE
147views Security Privacy» more  SP 2002»
15 years 4 months ago
CX: A scalable, robust network for parallel computing
CX, a network-based computational exchange, is presented. The system's design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks...
Peter R. Cappello, Dimitros Mourloukos
166
Voted
SPE
2002
130views more  SPE 2002»
15 years 4 months ago
Unix tools as visual programming components in a GUI-builder environment
Development environments based on ActiveX controls and JavaBeans are marketed as "visual programming" platforms; in practice their visual dimension is limited to the des...
Diomidis Spinellis
TELSYS
2002
126views more  TELSYS 2002»
15 years 4 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...
TGIS
2002
103views more  TGIS 2002»
15 years 4 months ago
Integration of Space Syntax into GIS: New Perspectives for Urban Morphology
Although space syntax has been successfully applied to many urban GIS studies, there is still a need to develop robust algorithms that support the automated derivation of graph re...
Bin Jiang, Christophe Claramunt
TOMACS
2002
110views more  TOMACS 2002»
15 years 4 months ago
Rapid model parameterization from traffic measurements
The utility of simulations and analysis heavily relies on good models of network traffic. While network traffic constantly changing over time, existing approaches typically take y...
Kun-Chan Lan, John S. Heidemann