Sciweavers

12084 search results - page 2125 / 2417
» Effect Systems with Subtyping
Sort
View
ICDE
2009
IEEE
166views Database» more  ICDE 2009»
16 years 6 months ago
Supporting Database Applications as a Service
Abstract-- Multi-tenant data management is a form of Software as a Service (SaaS), whereby a third party service provider hosts databases as a service and provides its customers wi...
Mei Hui, Dawei Jiang, Guoliang Li, Yuan Zhou
SIGSOFT
2007
ACM
16 years 5 months ago
State space exploration using feedback constraint generation and Monte-Carlo sampling
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
Sriram Sankaranarayanan, Richard M. Chang, Guofei ...
154
Voted
WWW
2009
ACM
16 years 5 months ago
RuralCafe: web search in the rural developing world
The majority of people in rural developing regions do not have access to the World Wide Web. Traditional network connectivity technologies have proven to be prohibitively expensiv...
Jay Chen, Lakshminarayanan Subramanian, Jinyang Li
WWW
2008
ACM
16 years 5 months ago
StYLiD: Social Information Sharing with Free Creation of Structured Linked Data
Information sharing can be effective with structured data. The Semantic Web is mainly aimed at structuring information by creating widely accepted ontologies. However, users have ...
Aman Shakya, Hideaki Takeda, Vilas Wuwongse
WWW
2006
ACM
16 years 5 months ago
pTHINC: a thin-client architecture for mobile wireless web
Although web applications are gaining popularity on mobile wireless PDAs, web browsers on these systems can be quite slow and often lack adequate functionality to access many web ...
Joeng Kim, Ricardo A. Baratto, Jason Nieh
« Prev « First page 2125 / 2417 Last » Next »