6291 search results - page 915 / 1259 » Components Are from Mars |
178
click to vote
ISOLA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
203
click to vote
MATES
2004
Springer
16 years 5 days ago
2004
Springer
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...
194
click to vote
METAINFORMATICS
2004
Springer
16 years 5 days 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...
188
click to vote
NPC
2004
Springer
16 years 5 days ago
2004
Springer
Massively parallel computing systems are being built with thousands of nodes. Because of the high number of components, it is critical to keep these systems running even in the pre...
128
click to vote
PCM
2004
Springer
16 years 5 days ago
2004
Springer
In MPEG-4 scalable video coding, only a small portion of input data is coded in the base layer, and most signal components remain in enhancement layers. In this paper, we propose a...