6274 search results - page 905 / 1255 » Proofs, Programs, Processes |
142
click to vote
APLAS
2006
ACM
15 years 11 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
126
click to vote
MSR
2006
ACM
15 years 11 months ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
127
click to vote
WIKIS
2006
ACM
15 years 11 months ago
2006
ACM
The Radeox Wiki markup render engine is a basic component for the construction of a Wiki or any system that wishes to integrate basic Wiki functionality. With the availablility of...
148
click to vote
ACSD
2005
IEEE
15 years 11 months ago
2005
IEEE
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
151
click to vote
AGILEDC
2005
IEEE
15 years 11 months ago
2005
IEEE
It is a significant challenge to implement and research agile software development methods in organizations such as the army. Since it differs from organizations in the industry a...