Sciweavers

4098 search results - page 458 / 820
» Sound mobility models
Sort
View
EUROPAR
2008
Springer
15 years 8 months ago
Mapping Heterogeneous Distributed Applications on Clusters
Performance of distributed applications largely depends on the mapping of their components on the underlying architecture. On one mponent-based approaches provide an abstraction su...
Sylvain Jubertie, Emmanuel Melin, Jér&eacut...
FASE
2008
Springer
15 years 8 months ago
A Logic of Graph Constraints
Abstract. Graph constraints were introduced in the area of graph transformation, in connection with the notion of (negative) application conditions, as a form to limit the applicab...
Fernando Orejas, Hartmut Ehrig, Ulrike Prange
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 8 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
ACL
2007
15 years 8 months ago
Semantic Transliteration of Personal Names
Words of foreign origin are referred to as borrowed words or loanwords. A loanword is usually imported to Chinese by phonetic transliteration if a translation is not easily availa...
Haizhou Li, Khe Chai Sim, Jin-Shea Kuo, Minghui Do...
LREC
2010
168views Education» more  LREC 2010»
15 years 8 months ago
GRISP: A Massive Multilingual Terminological Database for Scientific and Technical Domains
The development of a multilingual terminology is a very long and costly process. We present the creation of a multilingual terminological database called GRISP covering multiple t...
Patrice Lopez, Laurent Romary