Search Sciweavers | Sciweavers

2542 search results - page 21 / 509

» An Operational Definition of Context

click to vote

ECR
2010

126views more ECR 2010»

The conceptual model of context for mobile commerce applications

13 years 8 months ago

Download sdbs.cst.uop.gr

Mobile commerce applications adhering to anytime and anywhere paradigm, required to be flexible. They should be able to adapt their interface, services and content towards a certai...

Poulcheria Benou, Costas Vassilakis

claim paper

Read More »

click to vote

CAV
2006
Springer

146views Hardware» more CAV 2006»

Termination Analysis with Calling Context Graphs

14 years 2 months ago

Download www.ccs.neu.edu

We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...

Panagiotis Manolios, Daron Vroon

claim paper

Read More »

click to vote

TIT
2010

81views Education» more TIT 2010»

Generalizing capacity: new definitions and capacity theorems for composite channels

13 years 5 months ago

Download authors.library.caltech.edu

We consider three capacity definitions for composite channels with channel side information at the receiver. A composite channel consists of a collection of different channels with...

Michelle Effros, Andrea J. Goldsmith, Yifan Liang

claim paper

Read More »

click to vote

HPDC
2010
IEEE

236views Distributed And Parallel Com...» more HPDC 2010»

Software architecture definition for on-demand cloud provisioning

13 years 11 months ago

Download www.ee.ucl.ac.uk

Cloud computing [22] is a promising paradigm for the provisioning of IT services. Cloud computing infrastructures, such as those offered by the RESERVOIR project, aim to facilitat...

Clovis Chapman, Wolfgang Emmerich, Fermín G...

claim paper

Read More »

click to vote

USS
2008

66views Operating System» more USS 2008»

Insecure Context Switching: Inoculating Regular Expressions for Survivability

14 years 1 months ago