2028 search results - page 205 / 406 » Deriving Relation Keys from XML Keys |
174
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
158
click to vote
ACTA
2006
15 years 6 months ago
2006
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
164
click to vote
IPM
2008
15 years 6 months ago
2008
Access to information via handheld devices supports decision making away from one's computer. However, limitations include small screens and constrained wireless bandwidth. W...
156
click to vote
IJON
2006
15 years 6 months ago
2006
in vitro neuronal networks display Synchronized Bursting Events (SBEs), with characteristic temporal width of 100-500 ms and frequency of once every few seconds. We analyze such d...
164
click to vote
DSS
2007
15 years 6 months ago
2007
To facilitate the analysis of real and simulated data on groups, organizations and societies, tools and measures are needed that can handle relational or network data that is mult...