5550 search results - page 114 / 1110 » Different Approaches to Proof Systems |
154
click to vote
ECIS
2003
15 years 7 months ago
2003
Relationship analysis aims at supporting the eliciting and documenting of potential relationship structures of an application domain by providing analysts with a systematic techni...
158
click to vote
ML
2006
ACM
15 years 6 months ago
2006
ACM
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...
174
click to vote
BIRTHDAY
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
183
click to vote
ESAW
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. The deployment of agent societies —as complex systems— in dynamic and unpredictable settings brings forth critical issues concerning their design. Organizational mode...
167
click to vote
CASCON
2008
15 years 7 months ago
2008
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...