3719 search results - page 359 / 744 » RACER System Description |
158
click to vote
BIRTHDAY
1991
Springer
15 years 10 months ago
1991
Springer
First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, ...
169
click to vote
IESA
2007
15 years 8 months ago
2007
The application of model-driven development facilitates faster and more flexible integration by separating system descriptions to different levels of abstraction. In crossorganisat...
174
click to vote
SE
2008
15 years 8 months ago
2008
: The increased usage of Web services for critical applications introduces a growing need for efficient testing approaches to assure their quality. The Testing and Test Control Not...
231
click to vote
SEBD
2008
15 years 8 months ago
2008
In the context of ontology evolution, ontology population is the activity of acquiring new semantic descriptions of data extracted from heterogeneous data sources. To this end, the...
190
click to vote
TAMODIA
2008
15 years 8 months ago
2008
Abstract. In this paper we present a demonstration of the Migrantes environment for supporting user interface migration through different devices, including mobile ones and digital...