5832 search results - page 1016 / 1167 » Software complexity and maintainability |
153
Voted
CPE
2003
Springer
15 years 11 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
128
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time t...
145
Voted
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
152
Voted
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
176
click to vote
ER
2003
Springer
15 years 11 months ago
2003
Springer
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...