Sciweavers

1445 search results - page 28 / 289
» Properties of state spaces and their applications
Sort
View
ICWE
2005
Springer
15 years 11 months ago
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
Marco Brambilla, Alin Deutsch, Liying Sui, Victor ...
ICST
2008
IEEE
16 years 16 days ago
Verifying and Analyzing Adaptive Logic through UML State Models
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
Andres J. Ramirez, Betty H. C. Cheng
AUTOMATICA
2002
83views more  AUTOMATICA 2002»
15 years 6 months ago
A time aggregation approach to Markov decision processes
We propose a time aggregation approach for the solution of in
Xi-Ren Cao, Zhiyuan Ren, Shalabh Bhatnagar, Michae...
COR
2008
142views more  COR 2008»
15 years 6 months ago
Application of reinforcement learning to the game of Othello
Operations research and management science are often confronted with sequential decision making problems with large state spaces. Standard methods that are used for solving such c...
Nees Jan van Eck, Michiel C. van Wezel
ACSD
2009
IEEE
118views Hardware» more  ACSD 2009»
16 years 28 days ago
Verifying Deadlock- and Livelock Freedom in an SOA Scenario
In a service-oriented architecture (SOA), a service broker assigns a previously published service (stored in a service registry) to a service requester. It is desirable for the co...
Karsten Wolf, Christian Stahl, Janine Ott, Robert ...