4382 search results - page 763 / 877 » Query by Semantic Example |
122
Voted
METAINFORMATICS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The Model-Driven Development (MDD) describes and maintains models of the system under development. The Unified Modeling Language (UML) supports a set of semantics and no...
117
click to vote
MIDDLEWARE
2004
Springer
15 years 7 months ago
2004
Springer
The increasing popularity of XML Web services motivates us to examine if it is feasible to substitute one vendor service for another when using a Web-based application, assuming th...
151
click to vote
MKM
2004
Springer
15 years 7 months ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
129
click to vote
WDAG
2004
Springer
15 years 7 months ago
2004
Springer
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...
141
click to vote
ECRTS
2003
IEEE
15 years 7 months ago
2003
IEEE
The Real-Time Specification for Java (RTSJ) provides a platform for the development of real-time applications. However, the RTSJ does not take the distribution requirements of re...