2036 search results - page 232 / 408 » A generic type-and-effect system |
197
click to vote
B
2007
Springer
16 years 1 months ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
184
Voted
CLEF
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The general photographic ad-hoc retrieval task of the ImageCLEF 2007 evaluation campaign is described. This task provides both the resources and the framework necessary t...
160
Voted
CONTEXT
2007
Springer
16 years 1 months ago
2007
Springer
Context plays a crucial role when measuring the similarity of two concepts. Nonetheless, the modelling of context has been mostly neglected in existing similarity measurement theor...
172
click to vote
DILS
2007
Springer
16 years 1 months ago
2007
Springer
This paper focuses on the problem of bioinformatics service reconciliation in a generic and scalable manner so as to enhance interoperability in a highly evolving field. Using XML...
177
click to vote
ICSOC
2007
Springer
16 years 1 months ago
2007
Springer
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...