383 search results - page 30 / 77 » Testing Concurrent Systems: A Formal Approach |
133
click to vote
ECMDAFA
2005
Springer
15 years 9 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
131
Voted
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
The paper presents the Multi Agent System (MAS) designed for the large scale parallel computations. The special kind of diffusionbased scheduling enables to decompose and allocate...
127
Voted
AC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
100
click to vote
ANLP
1992
15 years 4 months ago
1992
Multilevel semantics has been proposed as a powerful architecture for semantic analysis. We propose a methodology that, while maintaining the generality of the multilevel approach...
125
Voted
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...