542 search results - page 10 / 109 » SystemJ: A GALS language for system level design |
CSUR
2006
13 years 7 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. ...
SBMF
2010
Springer
13 years 2 months 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...
FMAM
2010
13 years 5 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...
HICSS
2006
IEEE
14 years 1 months 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...
VLDB
1993
ACM
13 years 11 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...