3091 search results - page 190 / 619 » The Microsoft Relational Engine |
202
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Future communication and computation devices require mechanisms for on-the-fly reconfiguration in their protocol stack to operate in different situations and networks. Th...
176
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
215
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
161
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper proposes an improved free-roaming mobile agent security protocol. The scheme uses "one hop backwards and two hops forwards" chain relation as the protocol cor...
146
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
In my thesis I will address the problem of interoperation between information spaces on the web. We explain how this problem is different to traditional database integration scenar...