Sciweavers

195 search results - page 21 / 39
» Composable Encapsulation Policies
Sort
View
ASE
2006
122views more  ASE 2006»
13 years 7 months ago
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
Andrew Ireland, Jamie Stark
PVLDB
2010
83views more  PVLDB 2010»
13 years 5 months ago
Updatable and Evolvable Transforms for Virtual Databases
Applications typically have some local understanding of a database schema, a virtual database that may differ significantly from the actual schema of the data where it is stored...
James F. Terwilliger, Lois M. L. Delcambre, David ...
FIW
2009
134views Communications» more  FIW 2009»
13 years 5 months ago
Feature Diagrams for Change-Oriented Programming
Abstract. The idea of feature-oriented programming is to map requirements to features, concepts that can be composed to form a software product. Change-oriented programming (ChOP),...
Peter Ebraert, Andreas Classen, Patrick Heymans, T...
ICWE
2011
Springer
12 years 11 months ago
Reusing Web Application User-Interface Controls
Abstract. Highly interactive web applications that offer user experience and responsiveness of desktop applications are becoming increasingly popular. They are often composed out ...
Josip Maras, Maja Stula, Jan Carlson
NCA
2006
IEEE
14 years 1 months ago
A Multipolicy Authorization Framework for Grid Security
A Grid system is a Virtual Organization that is composed of several autonomous domains. Authorization in such a system needs to be flexible and scalable to support multiple securi...
Bo Lang, Ian T. Foster, Frank Siebenlist, Rachana ...