Sciweavers

3653 search results - page 535 / 731
» Analyzing language development from a network approach
Sort
View
ICWS
2009
IEEE
15 years 4 months ago
Web Service Mashup Middleware with Partitioning of XML Pipelines
Traditionally, the composition of Web services to create mashups has been achieved by using an application server as a mediator between a client browser and services. To avoid thi...
Eric Wohlstadter, Peng Li, Brett Cannon
CORR
2011
Springer
207views Education» more  CORR 2011»
15 years 1 months ago
DB Category: Denotational Semantics for View-based Database Mappings
Abstract. We present a categorical denotational semantics for a database mapping, based on views, in the most general framework of a database integration/exchange. Developed databa...
Zoran Majkic
SPIN
2012
Springer
13 years 9 months ago
Model Checking DSL-Generated C Source Code
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
Martin Sulzmann, Axel Zechner
LISA
2007
15 years 8 months ago
Application Buffer-Cache Management for Performance: Running the World's Largest MRTG
An operating system’s readahead and buffer-cache behaviors can significantly impact application performance; most often these better performance, but occasionally they worsen it...
David Plonka, Archit Gupta, Dale Carder
DEXAW
2007
IEEE
199views Database» more  DEXAW 2007»
15 years 10 months ago
Dealing with Sporadic Strangers, or the (Un)Suitability of Trust for Mobile P2P Security
A number of factors, such as the increasing popularity of wireless networks, the opportunities offered by 3G services, and the rapid proliferation of mobile devices, have stimulat...
Esther Palomar, Juan M. Estévez-Tapiador, J...