37 search results - page 6 / 8 » Towards the theoretical foundation of choreography |
COMPSAC
2009
IEEE
14 years 10 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
CSEE
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents a European Master programme on Global Software Engineering (SE), being put forward by four leading institutions from Sweden, UK, Netherlands and Italy. The Glo...
IUI
2003
ACM
15 years 2 months ago
2003
ACM
The need for Natural Language Interfaces to databases (NLIs) has become increasingly acute as more and more people access information through their web browsers, PDAs, and cell ph...
105
click to vote
SAC
2011
ACM
14 years 12 days ago
2011
ACM
Logs are one of the most important pieces of analytical data in a cloud-based service infrastructure. At any point in time, service owners and operators need to understand the sta...
INFOSCALE
2006
ACM
15 years 3 months ago
2006
ACM
Abstract— With the increasing popularity of parallel programming environments such as PC clusters, more and more sequential programmers, with little knowledge about parallel arch...