Sciweavers

2558 search results - page 279 / 512
» Model Composition Contracts
Sort
View
DEXAW
1998
IEEE
165views Database» more  DEXAW 1998»
15 years 9 months ago
Event Processing in Mobile and Active Database Systems Using Broadcasts
The integration of active database technology into mobile database systems allows to limit the transfer of data between mobile computers and the stationary network. In order to em...
Stefan Sauer, Olaf Zukunft
146
Voted
DLOG
2009
15 years 6 months ago
Using Description Logics in Relation Based Access Control
Relation Based Access Control (RelBAC) is an access control model designed for the new scenarios of access control on Web 2.0. Under this model, we discuss in this paper how to for...
Rui Zhang, Alessandro Artale, Fausto Giunchiglia, ...
NAACL
2010
15 years 2 months ago
Why Synchronous Tree Substitution Grammars?
Synchronous tree substitution grammars are a translation model that is used in syntax-based machine translation. They are investigated in a formal setting and compared to a compet...
Andreas Maletti
157
Voted
ICASSP
2011
IEEE
14 years 8 months ago
Accurate non-iterative depth layer extraction algorithm for image based rendering
Image based rendering is an attractive alternative for generating novel views compared to model based rendering due to its lower complexity and potential for photo-realistic resul...
James Pearson, Pier Luigi Dragotti, Mike Brookes
EMSOFT
2009
Springer
15 years 11 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele