8636 search results - page 34 / 1728 » How Developers Copy |
CIE
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We present transformations of linearly ordered sets into ordered abelian groups and ordered fields. We study effective properties of the transformations. In particular, w...
SIGMOD
2012
ACM
11 years 10 months ago
2012
ACM
Linked Data (LD) provides principles for publishing data that underpin the development of an emerging web of data. LD follows the web in providing low barriers to entry: publisher...
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
CASCON
2004
13 years 9 months ago
2004
Effective communication and coordination across multiple sites is extremely important for global software development. An experimental simulation that mimics an interdependent sof...
MSR
2011
ACM
12 years 10 months ago
2011
ACM
Modern software is often developed over many years with hundreds of thousands of commits. Commit metadata is a rich source of social characteristics, including the commit’s time...