156 search results - page 2 / 32 » Blogosphere: research issues, tools, and applications |
ECSA
2007
Springer
13 years 10 months ago
2007
Springer
Empirical software engineering focuses on the evaluation of software engineering technologies, such as processes and tools, by comparing related sets of data. It has contributed a ...
ENTCS
2006
13 years 4 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...
SIGMOD
2009
ACM
14 years 4 months ago
2009
ACM
This tutorial presents an overview of the data management issues faced by computer games today. While many games do not use databases directly, they still have to process large am...
SAMOS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Loop unrolling plays an important role in compilation for Reconfigurable Processing Units (RPUs) as it exposes operator parallelism and enables other transformations (e.g...
ALIFE
2006
13 years 4 months ago
2006
Auditory displays have been successfully developed to assist data visualization in many areas, but have as yet received little attention in the field of Artificial Life. This pape...