4401 search results - page 285 / 881 » Computing with Default Logic |
169
click to vote
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
—Ensuring spontaneous ad hoc interoperation in decentralized ubiquitous computing environments is challenging, because of heterogeneous resources and divergent policies. Centrali...
179
click to vote
AINA
2007
IEEE
16 years 29 days ago
2007
IEEE
— This paper presents a computing model for resource-limited mobile devices that might be ubiquitously deployed in private and business environments. The model integrates a stron...
190
click to vote
TLCA
2007
Springer
16 years 22 days ago
2007
Springer
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...
174
click to vote
CAMP
2005
IEEE
16 years 7 days ago
2005
IEEE
Abstract— The promise of next-generation computer technologies, such as nano-electronics, implies a number of serious alterations to the design flow of digital circuits. One of ...
206
click to vote
SFM
2005
Springer
16 years 2 days ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...