Sciweavers

3901 search results - page 261 / 781
» software 2008
Sort
View
IADIS
2004
15 years 8 months ago
IDUX: Internationalization of Data Using XML
Interest is rapidly growing in internationalized software that can be localized to various languages. This paper describes IDUX, an XML-based system designed to support the proces...
Darcy G. Benoit, Tomasz Müldner
CCS
2008
ACM
15 years 8 months ago
Mechanisms for usage control
Usage control is a generalization of access control that also addresses how data is used after it is released. We present a formal model for different mechanisms that can enforce ...
Alexander Pretschner, Manuel Hilty, David A. Basin...
MODELLIERUNG
2008
15 years 8 months ago
Incremental Evaluation of OCL Invariants in the Essential MOF Object Model
: The management of metamodels is supported by runtime environments that enforce the well-formedness of (meta-)model instances. Beyond this basic functionality, additional capabili...
Miguel García, Ralf Möller
MMS
2008
15 years 6 months ago
Process modeling for new media artworks
Practices in new media art pose very interesting challenges to the multimedia research community in terms of software tools development, usage of media technologies or documentatio...
Brigitte Kerhervé, Olivier Gerbé, Pa...
FOSSACS
2008
Springer
15 years 8 months ago
Stochastic Games with Lossy Channels
We consider turn-based stochastic games on infinite graphs induced by game probabilistic lossy channel systems (GPLCS), the game version of probabilistic lossy channel systems (PLC...
Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Al...