2394 search results - page 376 / 479 » Implementing Mobile Haskell |
IJWIS
2006
13 years 10 months ago
2006
Abstract. In this paper we present a model-based approach for the development of physical hypermedia applications, i.e. those mobile (Web) applications in which physical and digita...
AI
2004
Springer
13 years 10 months ago
2004
Springer
We describe a logic-based AI architecture based on Brooks' subsumption architecture. In this architecture, we axiomatize different layers of control in First-Order Logic (FOL...
TRUST
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Credential platforms implemented on top of Trusted Execution Environments3 (TrEEs) allow users to store and use their credentials, e.g., cryptographic keys or user passwo...
DSD
2010
IEEE
13 years 8 months ago
2010
IEEE
Until a decade ago, the concept of phased array beamforming was mainly implemented with mechanical or analog solutions. Today, digital hardware has become powerful enough to perfor...
GLOBECOM
2010
IEEE
13 years 8 months ago
2010
IEEE
We analyze the performance of a DHT-based P2P overlay network in resource access and overlay maintenance activities. We use a cross-platform implementation of the protocol called P...