Sciweavers

2088 search results - page 330 / 418
» Formal Approach to Integrating Feature and Architecture Mode...
Sort
View
WWW
2010
ACM
15 years 6 months ago
Fine-grained privilege separation for web applications
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
Akshay Krishnamurthy, Adrian Mettler, David Wagner
ER
2007
Springer
127views Database» more  ER 2007»
15 years 6 months ago
Generic Schema Mappings
Schema mappings come in different flavors: simple correspondences are produced by schema matchers, intensional mappings are used for schema integration. However, the execution of ...
David Kensche, Christoph Quix, Yong Li, Matthias J...
ESWS
2005
Springer
15 years 5 months ago
Optimally Distributing Interactions Between Composed Semantic Web Services
When information services are organized to provide some composed functionality, their interactions can be formally represented as workflows. Traditionally, workflows are executed...
Ion Constantinescu, Walter Binder, Boi Faltings
ICASSP
2008
IEEE
15 years 6 months ago
Address assignment sensitive variable partitioning and scheduling for DSPS with multiple memory banks
Multiple memory banks design is employed in many high performance DSP processors. This architectural feature supports higher memory bandwidth by allowing multiple data memory acce...
Chun Jason Xue, Tiantian Liu, Zili Shao, Jingtong ...
CLEIEJ
2004
137views more  CLEIEJ 2004»
14 years 11 months ago
A Component-based Product Line for Workflow Management Systems
This paper presents a component-based product line for workflow management systems. The process followed to design the product line was based on the Catalysis method. Extensions w...
Itana Maria de Souza Gimenes, Fabrício Rica...