Sciweavers

336 search results - page 9 / 68
» Using a Model Merging Language for Reconciling Model Version...
Sort
View
ENTCS
2010
108views more  ENTCS 2010»
13 years 4 months ago
Integrating Textual and Graphical Modelling Languages
Graphical diagrams are the main modelling constructs offered by the popular modelling language UML. Because textual representations of models also have their benefits, we investig...
Luc Engelen, Mark van den Brand
ICFEM
2009
Springer
14 years 2 months ago
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
Anil Madhavapeddy
CJ
2010
114views more  CJ 2010»
13 years 7 months ago
Using the Relational Model to Capture Topological Information of Spaces
Abstract. Motivated by research on how topology may be a helpful foundation for building information modeling (BIM), a relational database version of the notions of chain complex a...
Patrick Erik Bradley, Norbert Paul
SYNTHESE
2011
85views more  SYNTHESE 2011»
13 years 2 months ago
Modeling reality
: My aim in this paper is to articulate an account of scientific modeling that reconciles pluralism about modeling with a modest form of scientific realism. The central claim of th...
Christopher Pincock
ACL
2008
13 years 9 months ago
Distributed Word Clustering for Large Scale Class-Based Language Modeling in Machine Translation
In statistical language modeling, one technique to reduce the problematic effects of data sparsity is to partition the vocabulary into equivalence classes. In this paper we invest...
Jakob Uszkoreit, Thorsten Brants