267 search results - page 5 / 54 » LibGALS: a library for GALS systems design and modeling |
172
click to vote
ARCS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
165
click to vote
ER
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The paper provides a conceptual framework for designing and executing business processes using semantic Web services. We envision a world in which a designer defines a ...
155
click to vote
WSC
2007
15 years 8 months ago
2007
Assessing tram schedules is important to assure an efficient use of infrastructure and for the provision of a good quality service. Most existing infrastructure modeling tools pr...
145
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
Unified Modeling Language (UML) 2.0 is emerging in the area of embedded system design. This paper presents a new UML 2.0 profile - called TUT-Profile - that introduces a set of st...
188
click to vote
ERCIMDL
1997
Springer
15 years 10 months ago
1997
Springer
: A fully operational large scale digital library is likely to be based on a distributed architecture and because of this it is likely that a number of independent search engines m...