Sciweavers

5550 search results - page 114 / 1110
» Different Approaches to Proof Systems
Sort
View
ECIS
2003
15 years 7 months ago
Towards a language/action theoretic approach to relationship analysis
Relationship analysis aims at supporting the eliciting and documenting of potential relationship structures of an application domain by providing analysts with a systematic techni...
Fahri Yetim, Michael P. Bieber
ML
2006
ACM
149views Machine Learning» more  ML 2006»
15 years 6 months ago
A case based approach to expressivity-aware tempo transformation
The research presented in this paper is focused on global tempo transformations of music performances. We are investigating the problem of how a performance played at a particular...
Maarten Grachten, Josep Lluís Arcos, Ramon ...
BIRTHDAY
2007
Springer
15 years 10 months ago
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
Abdessamad Imine, Michaël Rusinowitch
ESAW
2009
Springer
16 years 29 days ago
Balancing Organizational Regulation and Agent Autonomy: An MDE-Based Approach
Abstract. The deployment of agent societies —as complex systems— in dynamic and unpredictable settings brings forth critical issues concerning their design. Organizational mode...
Loris Penserini, Virginia Dignum, Athanasios Staik...
CASCON
2008
100views Education» more  CASCON 2008»
15 years 7 months ago
Is it a bug or an enhancement?: a text-based approach to classify change requests
Bug tracking systems are valuable assets for managing maintenance activities. They are widely used in open-source projects as well as in the software industry. They collect many d...
Giuliano Antoniol, Kamel Ayari, Massimiliano Di Pe...