3388 search results - page 426 / 678 » Type-theoretic design patterns |
207
click to vote
AGTIVE
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...
180
click to vote
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
Code duplication, plausibly caused by copying source code and slightly modifying it, is often observed in large systems. Clone detection and documentation have been investigated b...
168
click to vote
ICDT
1999
ACM
15 years 11 months ago
1999
ACM
The vast number of design options in replicated databases requires efficient analytical performance evaluations so that the considerable overhead of simulations or measurements can...
192
click to vote
HICSS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes a generic approach to the development of a virtual reality-based user interface for a collection of digital documents. We emphasise the role of intrinsic inte...
180
click to vote
ICNP
1998
IEEE
15 years 11 months ago
1998
IEEE
Quality-of-service (QoS) routing satisfiesapplication performance requirements and optimizes network resource usage but effective path-selection schemes require the distribution o...