2586 search results - page 215 / 518 » Automatic Abstraction for Congruences |
155
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper we propose a UML/MDA approach, called MoPCoM methodology, to design high quality real-time embedded systems. We have defined a set of rules to build UML models fo...
223
click to vote
SEMCO
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Systems designed for the automatic summarization of meetings have considered the propositional content of contributions by each speaker, but not the explicit techniques ...
159
click to vote
AIME
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Prominent biomedical literature search tools like ScienceDirect, PubMed Central or MEDLINE allow for efficient retrieval of resources based on key words. Due to vast amou...
183
click to vote
ATC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. An Organic Computing system has the ability to autonomously (re-)organize and adapt itself. Such a system exhibits so called self-x properties (e.g. self-healing) and is ...
183
click to vote
EUROPAR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents the XJava compiler for parallel programs. It exploits parallelism based on an object-oriented stream programming paradigm. XJava extends Java with new...