Sciweavers

10182 search results - page 266 / 2037
» Case Studies
Sort
View
ENTCS
2007
103views more  ENTCS 2007»
15 years 6 months ago
Policy-based Coordination in PAGODA: A Case Study
PAGODA (Policy And GOal Based Distributed Autonomy) is a modular architecture for specifying and prototyping autonomous systems. A PAGODA node (agent) interacts with its environme...
Carolyn L. Talcott
ENTCS
2007
73views more  ENTCS 2007»
15 years 6 months ago
Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems
Carlos Bazílio, Edward Hermann Haeusler, Ma...
ESWA
2007
99views more  ESWA 2007»
15 years 6 months ago
Pattern recognition in time series database: A case study on financial database
Yan-Ping Huang, Chung-Chian Hsu, Sheng-Hsuan Wang