Sciweavers

35419 search results - page 129 / 7084
» How are we doing
Sort
View
ICSM
2009
IEEE
15 years 10 months ago
Studying the use of developer IRC meetings in open source projects
Open source developers communicate with each other via various online outlets. Thus far, mailing lists have been the main coordination mechanism. However, our previous study shows...
Emad Shihab, Zhen Ming Jiang, Ahmed E. Hassan
108
Voted
BPM
2010
Springer
186views Business» more  BPM 2010»
15 years 4 months ago
How to Implement a Theory of Correctness in the Area of Business Processes and Services
During the previous years, we presented several results concerned with various issues related to the correctness of models for business processes and services (i. e., interorganiza...
Niels Lohmann, Karsten Wolf
CHI
2008
ACM
16 years 4 months ago
Life scheduling to support multiple social roles
We present the results of our study of 15 working parents, and how they manage their life scheduling needs, that is, how they manage their personal and professional schedules acro...
Andrea Grimes, A. J. Bernheim Brush
128
Voted
FDL
2007
IEEE
15 years 10 months ago
A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
Martin Schickel, Martin Oberkönig, Martin Sch...
ATAL
2007
Springer
15 years 10 months ago
Distributed Norm Enforcement Via Ostracism
Abstract. An agent normative society has to deal with two main concerns: how to define norms and how to enforce them. Enforcement becomes a complex issue as agent societies become...
Adrian Perreau de Pinninck, Carles Sierra, W. Marc...