959 search results - page 147 / 192 » Transfers between Logics and their Applications |
112
click to vote
SIGCOMM
2010
ACM
15 years 2 months ago
2010
ACM
In this work we present a middleware architecture for a mobile peer-to-peer content distribution system. Our architecture allows wireless content dissemination between mobile node...
125
click to vote
ENVSOFT
2002
15 years 1 months ago
2002
Many challenges are associated with the integration of geographic information systems (GISs) with models in specific applications. One of them is adapting models to the environmen...
206
click to vote
FPGA
2011
ACM
14 years 5 months ago
2011
ACM
FPGAs have been used in many applications to achieve orders-of-magnitude improvement in absolute performance and energy efficiency relative to conventional microprocessors. Despit...
124
click to vote
ICWE
2007
Springer
15 years 8 months ago
2007
Springer
Current model-driven Web Engineering approaches (such as OO-H, UWE or WebML) provide a set of methods and supporting tools for a systematic design and development of Web applicatio...
124
click to vote
KI
2005
Springer
15 years 7 months ago
2005
Springer
The point algebra is a fundamental formal calculus for spatial and temporal reasoning. We present a new generalization that meets all requirements to describe dependencies on netw...