3782 search results - page 338 / 757 » Engineering Social Order |
237
click to vote
DICS
2006
15 years 10 months ago
2006
Virtual laboratories can be characterized by their long-lasting, large-scale computations, where a collection of heterogeneous tools is integrated into data processing pipelines. S...
130
click to vote
EWSA
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we propose a new approach to model-driven development, which we call introspective model-driven development (IMDD). This approach relies heavily on some well-underst...
180
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
155
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we construct fixed finite tile systems that assemble into particular classes of shapes. Moreover, given an arbitrary n, we show how to calculate the tile co...
156
click to vote
COMPSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
Using certificates for distributed authorizations in computer network systems has been discussed in the literature. However real implementations of the concept are rarely seen. In...