Sciweavers

3233 search results - page 283 / 647
» Rule Modeling and Markup
Sort
View
CAISE
2004
Springer
16 years 2 days ago
Towards a Semi-Automated Approach to Intermodel Transformation
This paper introduces an extension to the hypergraph data model used in the AutoMed data intergration approach that allows constraints common in static data modelling languages to ...
Michael Boyd, Peter McBrien
SP
1998
IEEE
162views Security Privacy» more  SP 1998»
15 years 11 months ago
Complete, Safe Information Flow with Decentralized Labels
The growing use of mobile code in downloaded applications and servlets has increased interest in robust mechanisms for ensuring privacy and secrecy. Information flow control is in...
Andrew C. Myers, Barbara Liskov
181
Voted
COLING
2008
15 years 8 months ago
A Systematic Comparison of Phrase-Based, Hierarchical and Syntax-Augmented Statistical MT
Probabilistic synchronous context-free grammar (PSCFG) translation models define weighted transduction rules that represent translation and reordering operations via nonterminal s...
Andreas Zollmann, Ashish Venugopal, Franz Josef Oc...
WSC
2001
15 years 8 months ago
The use of simulation for process improvement at an ambulatory surgery center
This work has for objective building a simulation model to evaluate different alternatives of operation of a projected center for ambulatory surgery. For the construction of the m...
Francisco J. Ramis, Jorge L. Palma, Felipe F. Baes...
GG
2008
Springer
15 years 7 months ago
Labelled (Hyper)Graphs, Negotiations and the Naming Problem
We consider four different models of process interactions that unify and generalise models introduced and studied by Angluin et al. [AAD+ 04] and models introduced and studied by ...
Jérémie Chalopin, Antoni W. Mazurkie...