2036 search results - page 348 / 408 » A generic type-and-effect system |
146
click to vote
ERCIMDL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Anyone offering content in a digital library is naturally interested in assessing its performance: how well does my system meet the users' information needs? Standar...
149
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Molecular recognition, which is essential in processing information in biological systems, takes place in a crowded noisy biochemical environment and requires the recognition of a ...
144
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Particle Image Velocimetry (PIV) is a method of imaging and analysing fields of flows. The PIV techniques compute and display all the motion vectors of the field in a resulting im...
152
click to vote
FAC
2008
15 years 5 months ago
2008
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
152
click to vote
FAC
2008
15 years 5 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...