5401 search results - page 229 / 1081 » Using Versions in GIS |
180
click to vote
MCS
2011
Springer
14 years 12 months ago
2011
Springer
: When working with large-scale models or numerous small models, there can be a temptation to rely on default settings in proprietary software to derive solutions to the model. In ...
151
click to vote
IJAHUC
2011
14 years 8 months ago
2011
: We propose and investigate the Internet Protocol version 6 (IPv6) enabled mobility framework to improve the user mobility experience in heterogenous wireless networks. The framew...
273
click to vote
Book
"Before you can start learning specific servlet and JSP techniques, you need to have
the right software and know how to use it. This introductory chapter explains how to
obt...
147
click to vote
CADE
2004
Springer
16 years 5 months ago
2004
Springer
Lambda logic is the union of first order logic and lambda calculus. We prove basic metatheorems for both total and partial versions of lambda logic. We use lambda logic to state a...
125
Voted
FLOPS
2008
Springer
15 years 6 months ago
2008
Springer
We propose undoable versions of the projection operations used when programs written in higher-order statically-typed languages interoperate with dynamically typed ones, localizing...