8109 search results - page 124 / 1622 » A Model of Component-Based Programming |
126
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
119
click to vote
SOFTVIS
2005
ACM
15 years 10 months ago
2005
ACM
In this paper we present an approach to modeling and visualizing the dynamic interactions among objects in a C++ application. We exploit UML diagrams to expressively visualize bot...
138
click to vote
CCE
2004
15 years 4 months ago
2004
This contribution deals with scheduling problems of flexible chemical batch processes with a special emphasis on their real-time character. This implies not only the need for suff...
149
click to vote
CONCURRENCY
2000
15 years 4 months ago
2000
Java's support for parallel and distributed processing makes the language attractive for metacomputing applications, such as parallel applications that run on geographically ...
155
Voted
FUIN
2000
15 years 4 months ago
2000
We give algorithms to construct the least L-model for a given positive modal logic program P, where L can be one of the modal logics KD, T, KDB, B, KD4, S4, KD5, KD45, and S5. If L...