6474 search results - page 963 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
195
click to vote
EMSOFT
2006
Springer
15 years 11 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
184
click to vote
ECLIPSE
2006
ACM
16 years 1 months ago
2006
ACM
Despite the fact that software development is an inherently collaborative activity, a great deal of software development is spent with developers in isolation, working on their ow...
208
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
Round-Robin scheduling is the most popular time triggered scheduling policy, and has been widely used in communication networks for the last decades. It is an efficient schedulin...
183
click to vote
ICFEM
2004
Springer
16 years 28 days ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
169
Voted
SEMWEB
2009
Springer
16 years 3 days ago
2009
Springer
Abstract. Military training and testing events are highly complex affairs, potentially involving dozens of legacy systems that need to interoperate in a meaningful way. There are s...