29386 search results - page 115 / 5878 » On modeling of self-organizing systems |
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
IJNSEC
2008
14 years 10 months ago
2008
Many security and privacy protocols for RFID systems have been proposed [8, 13, 19, 20]. In most cases these protocols are evaluated in terms of security based on some model. Ofte...
NAACL
2004
14 years 11 months ago
2004
Organizations are increasingly turning to spoken dialog systems for automated call routing to reduce call center costs. To maintain quality service even in cases of failure, these...
ECIS
2000
14 years 11 months ago
2000
- In this paper we consider the synergy between two areas of IS literature: that concerned with the evaluation of information systems and that concerned with explaining the phenome...
CONCUR
2012
Springer
13 years 12 days ago
2012
Springer
Abstract. Multi-threaded programs with recursion are naturally modeled as multi-pushdown systems. The behaviors are represented as multiply nested words (MNWs), which are words enr...