2012 search results - page 348 / 403 » CORAL - Control, Relations and Logic |
170
click to vote
CAISE
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a detailed integration process for XML schemata called BInXS. BInXS adopts a global-as-view integration approach that builds a global schema from a set of heter...
148
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
The IEEE 802.11i wireless networking protocol provides mutual authentication between a network access point and user devices prior to user connectivity. The protocol consists of s...
133
click to vote
CONCUR
2005
Springer
15 years 11 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
170
click to vote
ESWS
2005
Springer
15 years 11 months ago
2005
Springer
The paper addresses the problem of reasoning with multiple ontologies interrelated with semantic mappings. This problem is becoming more and more relevant due to the necessity of b...
154
click to vote
GRID
2005
Springer
15 years 11 months ago
2005
Springer
— In a grid-computing environment, resource selection and scheduling depend on the network topology connecting the computation nodes. This paper presents a method to hierarchical...