Sciweavers

1914 search results - page 291 / 383
» Semantic domains for Handel-C
Sort
View
BIRTHDAY
2008
Springer
15 years 1 months ago
A Category of Explicit Fusions
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Cia...
CAISE
2008
Springer
15 years 1 months ago
Semi-Automated Model Synchronisation in SOM
Model-driven engineering is at the forefront among recent attempts to information systems development. Models are gradually refined from domain specific descriptions to more concre...
Christian Flender, Thomas Hettel, Michael Lawley, ...
80
Voted
BPM
2006
Springer
126views Business» more  BPM 2006»
15 years 29 days ago
Verification of Business Process Integration Options
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...
Georg Grossmann, Michael Schrefl, Markus Stumptner
COLING
2008
15 years 13 days ago
Other-Anaphora Resolution in Biomedical Texts with Automatically Mined Patterns
This paper proposes an other-anaphora resolution approach in bio-medical texts. It utilizes automatically mined patterns to discover the semantic relation between an anaphor and a...
Bin Chen, Xiaofeng Yang, Jian Su, Chew Lim Tan
HCI
2007
15 years 13 days ago
Tracing Conceptual and Geospatial Diffusion of Knowledge
Understanding the dynamics of knowledge diffusion has profound theoretical and practical implications across a wide variety of domains, ranging from scientific disciplines to educa...
Chaomei Chen, Weizhong Zhu, Brian M. Tomaszewski, ...