1413 search results - page 72 / 283 » Bisimilarity of Open Terms |
81
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Declarative policies play a central role in many modern software systems. Engineering policies and their interactions with programs raises many interesting open questions. Categor...
110
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, we describe two mission critical applications currently deployed by Telecom Italia in the Operations Support System domains. The first one called "Network Neut...
165
Voted
ADT
2011
14 years 4 months ago
2011
Currently, there is a strong effort of the research community in rethinking the Internet architecture to cope with its current limitations and support new requirements. Many resea...
206
click to vote
POPL
2004
ACM
16 years 1 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
98
Voted
ICSE
2005
IEEE-ACM
16 years 28 days ago
2005
IEEE-ACM
We report on the experiences of Siemens Corporation in nine globally-distributed software development projects. These projects represent a range of collaboration models, from co-d...