2907 search results - page 295 / 582 » Presentations of Structures in Admissible Sets |
169
click to vote
FSEN
2007
Springer
16 years 26 days ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
166
Voted
ICSOC
2007
Springer
16 years 26 days 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...
159
click to vote
PKDD
2007
Springer
16 years 25 days ago
2007
Springer
Nearest neighbour search (NNS) is an old problem that is of practical importance in a number of fields. It involves finding, for a given point q, called the query, one or more po...
187
click to vote
SEMWEB
2007
Springer
16 years 25 days ago
2007
Springer
The discovery of suitable Web services for a given task is one of the central operations in Service-oriented Architectures (SOA), and research on Semantic Web services (SWS) aims a...
163
click to vote
SEMWEB
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. As the Semantic Web emerges the problem of semantic heterogeneity is becoming more acute. Ontology matching techniques aim at tackling this problem by establishing corres...