963 search results - page 149 / 193 » Types for Mobile Ambients |
COMPSAC
2004
IEEE
14 years 13 days ago
2004
IEEE
Function is a dynamic property closely related to the conformational mechanisms of the protein structure in its physiological environment. Efficient methods and tools for predicti...
CONCUR
2006
Springer
14 years 13 days ago
2006
Springer
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...
AUIC
2001
IEEE
14 years 11 days ago
2001
IEEE
The growing number of mobile computing devices with diverse characteristics creates a requirement for seamless (device independent) access to computing resources of distributed sy...
HCI
2007
13 years 10 months ago
2007
Abstract. The increasing capabilities of experimental household robot platforms require more and more sophisticated methods of interaction. While there are many developments in all...
CADUI
2006
13 years 10 months ago
2006
We present a rendering engine for displaying graphical user interfaces on multiple devices. The renderer interprets a standardized XML-based user interface description language: th...