Sciweavers

2350 search results - page 140 / 470
» A Reflective Approach to Providing Flexibility in Applicatio...
Sort
View
SIGMOD
2009
ACM
161views Database» more  SIGMOD 2009»
16 years 6 months ago
Cross-tier, label-based security enforcement for web applications
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
Brian J. Corcoran, Nikhil Swamy, Michael W. Hicks
PERCOM
2010
ACM
15 years 4 months ago
A 3-layer architecture for smart environment models
— Enriched with more and more intelligent devices modern homes rapidly transform into smart environments. Their growing capabilities enable the implementation of a new generation...
Grzegorz Lehmann, Andreas Rieger, Marco Blumendorf...
IPPS
2007
IEEE
16 years 21 days ago
Performance Studies of a WebSphere Application, Trade, in Scale-out and Scale-up Environments
Scale-out approach, in contrast to scale-up approach (exploring increasing performance by utilizing more powerful shared-memory servers), refers to deployment of applications on a...
Hao Yu, José E. Moreira, Parijat Dube, I-Hs...
ICWS
2010
IEEE
15 years 7 months ago
Two-Staged Approach for Semantically Annotating and Brokering TV-related Services
Nowadays, more and more distributed digital TV and TV-related resources are published on the Web, such as Electronic Personal TV Guide (EPG) data. To enable applications to access ...
Hong Qing Yu, Neil Benn, Stefan Dietze, Carlos Ped...
FAC
2008
117views more  FAC 2008»
15 years 6 months ago
Model checking Duration Calculus: a practical approach
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
Roland Meyer, Johannes Faber, Jochen Hoenicke, And...