5401 search results - page 771 / 1081 » Using Versions in GIS |
162
click to vote
KBSE
2008
IEEE
16 years 29 days ago
2008
IEEE
—A key issue in maintaining Linux device drivers is the need to update drivers in response to evolutions in Linux internal libraries. Currently, there is little tool support for ...
179
click to vote
LCN
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract—Covert channels aim to hide the existence of communication between two or more parties. Such channels typically utilise pre-existing (overt) data transmissions to carry ...
154
click to vote
LICS
2008
IEEE
16 years 29 days ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
194
click to vote
TPHOL
2008
IEEE
16 years 29 days ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
208
click to vote
DASFAA
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract. Warehousing heterogeneous, dynamic biological data is a key technique for biological data integration as it greatly improves performance. However, it requires complex mai...