Sciweavers

1642 search results - page 241 / 329
» Systemic Service Design: Aligning Value and Implementation
Sort
View
JCS
2008
119views more  JCS 2008»
14 years 12 months ago
Synthesising verified access control systems through model checking
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
JSS
2008
92views more  JSS 2008»
14 years 12 months ago
A Web services-based framework for building componentized digital libraries
We present a new Web services-based framework for building componentized digital libraries (DLs). We particularly demonstrate how traditional RDBMS technology can be easily deploy...
Rodrygo L. T. Santos, Pablo A. Roberto, Marcos And...
WWW
2011
ACM
14 years 6 months ago
A middleware for securing mobile mashups
Mashups on traditional desktop devices are a well-known source of security risks. In this paper, we examine how these risks translate to mobile mashups and identify new risks caus...
Florent Batard, Karima Boudaoud, Michel Riveill
DATE
2003
IEEE
117views Hardware» more  DATE 2003»
15 years 5 months ago
Exploring SW Performance Using SoC Transaction-Level Modeling
This paper presents VISTA, a new methodology and tool dedicated to analyse system level performance by executing full-scale SW application code on a transaction-level model of the...
Imed Moussa, Thierry Grellier, Giang Nguyen
USENIX
2000
15 years 1 months ago
The Globe Distribution Network
The goal of the Globe project is to design and build a middleware platform that facilitates the development of large-scale distributed applications, such as those found on the Int...
Arno Bakker, E. Amade, Gerco Ballintijn, Ihor Kuz,...