Sciweavers

7920 search results - page 289 / 1584
» The Swarm Application Framework
Sort
View
FMICS
2007
Springer
16 years 26 days ago
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
Maurice H. ter Beek, Alessandro Fantechi, Stefania...
IPPS
2005
IEEE
16 years 9 days ago
The Applicability of Adaptive Control Theory to QoS Design: Limitations and Solutions
Due to the increasing complexity, the behavior of large-scale distributed systems becomes difficult to predict. The ability of on-line identification and autotuning of adaptive co...
Keqiang Wu, David J. Lilja, Haowei Bai
APN
2005
Springer
16 years 7 days ago
The (True) Concurrent Markov Property and Some Applications to Markov Nets
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...
Samy Abbes
WECWIS
2003
IEEE
120views ECommerce» more  WECWIS 2003»
15 years 12 months ago
Reinforcement Learning Applications in Dynamic Pricing of Retail Markets
In this paper, we investigate the use of reinforcement learning (RL) techniques to the problem of determining dynamic prices in an electronic retail market. As representative mode...
C. V. L. Raju, Y. Narahari, K. Ravikumar
BIBE
2004
IEEE
107views Bioinformatics» more  BIBE 2004»
15 years 10 months ago
Enhanced pClustering and Its Applications to Gene Expression Data
Clustering has been one of the most popular methods to discover useful biological insights from DNA microarray. An interesting paradigm is simultaneous clustering of both genes an...
Sungroh Yoon, Christine Nardini, Luca Benini, Giov...