1700 search results - page 98 / 340 » Specifying and implementing refactorings |
117
Voted
SAC
2002
ACM
15 years 4 months ago
2002
ACM
We argue that matrix-based models are inadequate for regulating business to business (or B2B, for short) e-commerce due to the diversity, complexity and potential large number of ...
141
click to vote
TISSEC
2002
15 years 4 months ago
2002
IPsec is the standard suite of protocols for networklayer confidentiality and authentication of Internet traffic. The IPsec protocols, however, do not address the policies for how...
133
Voted
IANDC
2010
15 years 3 months ago
2010
The semantics of name-passing calculi is often defined employing coalgebraic models over presheaf categories. This elegant theory lacks finiteness properties, hence it is not ap...
133
Voted
CLOUDCOM
2010
Springer
15 years 1 months ago
2010
Springer
User constraints such as deadlines are important requirements that are not considered by existing cloud-based data processing environments such as Hadoop. In the current implementa...
157
click to vote
PADL
2012
Springer
14 years 3 days ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...