2059 search results - page 201 / 412 » An adaptive system developer's tool-kit |
154
click to vote
ECAL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Many researchers are developing frameworks inspired by natural, especially biological, systems to solve complex real-world problems. This work extends previous work in th...
148
click to vote
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
122
click to vote
CSMR
2003
IEEE
15 years 9 months ago
2003
IEEE
Testing a distributed system is difficult. Good testing depends on both skill and understanding the system under test. We have developed a method to observe the system at the CORB...
116
click to vote
ECRTS
1999
IEEE
15 years 8 months ago
1999
IEEE
Safety-critical systems typically operate in unpredictable environments. Requirements for safety and reliability are in conflict with those for real-time responsiveness. Due to un...
137
click to vote
USM
2000
15 years 8 months ago
2000
Due to the requirements of open service markets, the structure of networks and application systems is changing. To handle the evolving complex distributed systems, new concepts for...