3801 search results - page 289 / 761 » An Approach to Modeling Software Safety |
182
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this article, we present a flexible simulation environment for embedded real-time software refinement by a mixed level cosimulation. For this, ne the native speed of a...
212
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
219
click to vote
GECCO
2004
Springer
16 years 3 hour ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
168
click to vote
SAC
2003
ACM
15 years 12 months ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
158
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
We have developed an infrastructure for end-to-end run-time monitoring, behavior/performance analysis, and dynamic adaptation of distributed software. This infrastructure is prima...