1615 search results - page 79 / 323 » What's new |
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
IMR
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents a technique for the adaptive refinement of tetrahedral meshes. What makes it unique is that no neighbor information is required for the refined mesh to be co...
ICECCS
2002
IEEE
14 years 2 months ago
2002
IEEE
When a new component is added to an existing, distributed system, it has to co-operate with existing components in a way that doesn’t interfere badly with the original system. A...
ETRICS
2006
14 years 1 months ago
2006
Anonymity services in the EU may be forced by the new EU data retention directive to collect connection data and deanonymise some of their users in case of serious crimes. For this...
AOSE
2008
Springer
13 years 11 months ago
2008
Springer
The construction of ad-hoc design processes is more and more required today. In this paper we present our approach for the construction of a new design process following the Situat...