4460 search results - page 807 / 892 » Formal methods for interactive systems |
TSD
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. After the years of hesitation the conservative Slovak telecommunication market seems to become conscious of the need of voice driven services. In the last year, all the t...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
Large systems of agents deployed in a real-world environment face threats to their problem solving performance that are independent of the complexity of the problem or the charact...
BIRTHDAY
2003
Springer
14 years 2 months ago
2003
Springer
Software components realising the graphical user interface (GUI) of a highly interactive system or the user interface of a Web application form an essential part of the entire impl...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— Trust management, broadly intended as the ability to maintain belief relationship among entities, is recognized as a fundamental security challenge for autonomous and selforgan...
AGENTS
1999
Springer
14 years 1 months ago
1999
Springer
Uncertain and complex environments demand that an agent be able to anticipate the actions of others in order to avoid resource conflicts with them and to realize its goals. Confli...