9264 search results - page 1251 / 1853 » Space Between Languages |
172
click to vote
MPC
1992
Springer
15 years 11 months ago
1992
Springer
A calculus for developing programs from specifications written as predicates that describe the relationship between the initial and final state is proposed. Such specifications are...
187
click to vote
DBPL
2007
Springer
15 years 11 months ago
2007
Springer
Inclusion between XML types is important but expensive, and is much more expensive when unordered types are considered. We prove here that inclusion for XML types with interleavin...
203
click to vote
EATIS
2007
ACM
15 years 11 months ago
2007
ACM
Information integration in enterprises is a nightmare due to the differences in software and hardware platforms and due to syntactic and semantic differences in the schemas of the...
183
click to vote
ICAIL
2007
ACM
15 years 11 months ago
2007
ACM
In this paper, we develop our previous outline of a multi-agent architecture for regulated information exchange in crime investigations. Interactions about information exchange be...
190
click to vote
ASWEC
2004
IEEE
15 years 11 months ago
2004
IEEE
Object-oriented programs, when executed, produce a complex webs of objects and references between them, generally referred to as object graphs. These object graphs are difficult t...