542 search results - page 10 / 109 » SystemJ: A GALS language for system level design |
164
click to vote
CSUR
2006
15 years 6 months ago
2006
resents a perspective on existing NoC research. We define the following abstractions: system, network adapter, network, and link to explain and structure the fundamental concepts. ...
232
click to vote
SBMF
2010
Springer
15 years 23 days ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
173
click to vote
FMAM
2010
15 years 4 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
150
click to vote
HICSS
2006
IEEE
16 years 2 days ago
2006
IEEE
In highly globalized industries such as the automotive industry, product development is strongly dependent on e-collaboration tools that hold the potential to capitalize on specia...
177
click to vote
VLDB
1993
ACM
15 years 10 months ago
1993
ACM
Object-oriented databases are a recent and important development and many studies of them have been performed. These consider aspects such as data modeling, query languages, perfo...