Sciweavers

1579 search results - page 256 / 316
» A software development process supporting non-functional pro...
Sort
View
SIGCOMM
2012
ACM
13 years 6 months ago
Abstractions for network update
ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Configuration changes are a common...
Mark Reitblatt, Nate Foster, Jennifer Rexford, Col...
ECBS
1999
IEEE
171views Hardware» more  ECBS 1999»
15 years 8 months ago
Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
Greg Nordstrom, Janos Sztipanovits, Gabor Karsai, ...
HASKELL
2009
ACM
15 years 11 months ago
A compositional theory for STM Haskell
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
Johannes Borgström, Karthikeyan Bhargavan, An...
MM
2009
ACM
163views Multimedia» more  MM 2009»
15 years 11 months ago
CompositeMap: a novel music similarity measure for personalized multimodal music search
How to measure and model the similarity between different music items is one of the most fundamental yet challenging research problems in music information retrieval. This paper ...
Bingjun Zhang, Qiaoliang Xiang, Ye Wang, Jialie Sh...
APWEB
2004
Springer
15 years 9 months ago
Multiresolution Spatial Databases: Making Web-Based Spatial Applications Faster
Abstract. Spatial data has now been used extensively in the Web environment, providing online customized maps and supporting map-based applications. The full potential of Web-based...
Xiaofang Zhou, Sham Prasher, Sai Sun, Kai Xu 0003