9018 search results - page 1300 / 1804 » 3D-Brain Model Software |
180
click to vote
FSTTCS
2004
Springer
16 years 12 days ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
151
click to vote
GI
2004
Springer
16 years 12 days ago
2004
Springer
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...
198
click to vote
ICCBSS
2004
Springer
16 years 12 days ago
2004
Springer
In this paper we propose a taxonomy for classifying COTS business applications, i.e. products that are used in the daily functioning of all types of organizations worldwide, such a...
161
click to vote
SEKE
2004
Springer
16 years 11 days ago
2004
Springer
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of O...
166
click to vote
ISPDC
2003
IEEE
16 years 9 days ago
2003
IEEE
This paper reports the development of D-RAJE (Distributed Resource-Aware Java Environment), a Java-based middleware platform that makes it possible to model and to monitor resourc...