499 search results - page 11 / 100 » Why neighbor-joining works |
POPL
2006
ACM
14 years 10 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
OOPSLA
2004
Springer
14 years 3 months ago
2004
Springer
We have replicated the experiments of Cecchet et al. detailed in ”Performance and Scalability of EJB Applications” at OOPSLA ’02. We report on our experiences configuring, ...
BIS
2006
13 years 11 months ago
2006
This paper discusses the applicability of a process algebra, the -calculus, as a formal foundation for Business Process Management (BPM). We therefore investigate the -calculus fro...
CHI
2009
ACM
14 years 10 months ago
2009
ACM
Some of the most interesting differences between Open Source Software (OSS) development and commercial colocated software development lie in the communication and collaboration pr...
CHI
2007
ACM
14 years 10 months ago
2007
ACM
Software developers are rooted in the written form of their code, yet they often draw diagrams representing their code. Unfortunately, we still know little about how and why they ...