Sciweavers

1134 search results - page 22 / 227
» Using Constraints with Action Language for Model Evolution
Sort
View
WICSA
2008
14 years 11 months ago
Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
Zhiming Chang, XinJun Mao, Zhichang Qi
ESEC
1999
Springer
15 years 1 months ago
Checking Progress with Action Priority: Is it Fair?
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...
Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer
AIPS
2011
14 years 1 months ago
Cross-Domain Action-Model Acquisition for Planning via Web Search
Applying learning techniques to acquire action models is an area of intense research interest. Most previous works in this area have assumed that there is a significant amount of...
Hankz Hankui Zhuo, Qiang Yang, Rong Pan, Lei Li
NIPS
2004
14 years 10 months ago
A Three Tiered Approach for Articulated Object Action Modeling and Recognition
Visual action recognition is an important problem in computer vision. In this paper, we propose a new method to probabilistically model and recognize actions of articulated object...
Le Lu, Gregory D. Hager, Laurent Younes
FM
2009
Springer
190views Formal Methods» more  FM 2009»
15 years 4 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu