Sciweavers

22114 search results - page 327 / 4423
» Use of Models and Modelling Techniques for Service Developme...
Sort
View
MM
2000
ACM
94views Multimedia» more  MM 2000»
15 years 11 months ago
A digital television navigator
Digital television is a new, interesting, and rich platform for developing next generation multimedia services. Navigator is the most important Multimedia service of digital telev...
Chengyuan Peng, Petri Vuorimaa
DEXAW
2003
IEEE
99views Database» more  DEXAW 2003»
16 years 17 days ago
A Model for Context-dependent Access Control for Web-based Services with Role-based Approach
Controlling access to resources is one of the most important protection goals for web-based services in practice. In general, access control requires identification of subjects t...
Ruben Wolf, Thomas Keinz, Markus Schneider
AES
2007
Springer
86views Cryptology» more  AES 2007»
15 years 7 months ago
Numerical modelling of a gravity settler in dynamic conditions
An iterative numerical technique has been developed to simulate in detail the dynamics of a shallow-layer gravity settler. Currently acknowledged models apply only to specific eq...
Elsa F. Gomes, M. M. L. Guimarães, Lí...
ICFEM
2007
Springer
15 years 11 months ago
Testing for Refinement in CSP
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
Ana Cavalcanti, Marie-Claude Gaudel
AOSD
2003
ACM
16 years 16 days ago
JAsCo: an aspect-oriented approach tailored for component based software development
In this paper we introduce a novel aspect oriented implementation language, called JAsCo. JAsCo is tailored for component based development and the Java Beans component model in p...
Davy Suvée, Wim Vanderperren, Viviane Jonck...