Sciweavers

9455 search results - page 273 / 1891
» The Modelling Language Zinc
Sort
View
IPPS
2005
IEEE
15 years 11 months ago
Automatic Support for Irregular Computations in a High-Level Language
The problem of writing high performance parallel applications becomes even more challenging when irregular, sparse or adaptive methods are employed. In this paper we introduce com...
Jimmy Su, Katherine A. Yelick
SPIN
2010
Springer
15 years 4 months ago
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aal...
ICEIS
2009
IEEE
15 years 3 months ago
A Model-Based Tool for Conceptual Modeling and Domain Ontology Engineering in OntoUML
This paper presents a Model-Based graphical editor for supporting the creation of conceptual models and domain ontologies in a philosophically and cognitively well-founded modeling...
Alessander Botti Benevides, Giancarlo Guizzardi
MODELS
2009
Springer
16 years 14 days ago
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009)
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
Stefan Van Baelen, Thomas Weigert, Ileana Ober, Hu...
ECIR
2008
Springer
15 years 7 months ago
Modeling Documents as Mixtures of Persons for Expert Finding
Abstract. In this paper we address the problem of searching for knowledgeable persons within the enterprise, known as the expert finding (or expert search) task. We present a proba...
Pavel Serdyukov, Djoerd Hiemstra