4126 search results - page 623 / 826 » Relationships with other Formalisms |
147
click to vote
FASE
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
160
click to vote
FASE
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In this paper we present a layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (manets) using algebraic higher order nets (aho nets). manets are networ...
148
click to vote
FMCAD
2007
Springer
16 years 20 days ago
2007
Springer
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...
175
click to vote
HPCC
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. CAN is a famous structured peer-to-peer network based on ddimensional torus topology with constant degree and logarithmical diameter, but suffers from poor scalability wh...
150
click to vote
HYBRID
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...