2059 search results - page 201 / 412 » An adaptive system developer's tool-kit |
211
Voted
ECAL
2005
Springer
16 years 18 days 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...
210
click to vote
PPDP
2004
Springer
16 years 13 days 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...
177
click to vote
CSMR
2003
IEEE
16 years 11 days 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...
150
Voted
ECRTS
1999
IEEE
15 years 11 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...
184
click to vote
USM
2000
15 years 10 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...