2637 search results - page 24 / 528 » Tool Supported Specification and Simulation of Distributed S... |
CAISE
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
127
Voted
CD
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. A distributed software system's deployment architecture can have a significant impact on the system's properties. These properties will depend on various system...
109
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper, we present ParaPART, a parallel version of a mesh partitioning tool, called PART, for distributed systems. PART takes into consideration the heterogeneities in proce...
144
click to vote
DSRT
2008
IEEE
15 years 3 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
127
click to vote
CHI
1995
ACM
15 years 5 months ago
1995
ACM
The Modeler is designed using a learner-centered approach [5], with scaffolding to address the specific needs of learners. Scaffolding [3] is an educational term that refers to pro...