1218 search results - page 62 / 244 » Model-Driven Development of Mobile Applications |
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
Babylon v2.0 is a collection of tools and services that provide a 100% Java compatible environment for developing, running and managing parallel, distributed and mobile Java appli...
AIWORC
2000
IEEE
14 years 15 days ago
2000
IEEE
In order to understand and gain practical insights into various aspects of Next Generation Enterprises, we are building a testbed for flexible mobile applications. We started with...
BIS
2007
13 years 9 months ago
2007
Applications written for mobile devices have become more and more complex, adjusting to the constantly improving computational power of hardware. With the growing application size ...
ASE
2004
13 years 8 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
TWC
2008
13 years 8 months ago
2008
We develop a reduced-complexity hybrid frequency/time-domain orthogonal frequency division multiplexing (OFDM) channel estimation algorithm for high-mobility scenarios where the ch...