Sciweavers

1502 search results - page 14 / 301
» Computational Realizations of Living Systems
Sort
View
IUI
2004
ACM
15 years 5 months ago
The connected user interface: realizing a personal situated navigation service
Navigation services can be found in different situations and contexts: while connected to the web through a desktop PC, in cars, and more recently on PDAs while on foot. These ser...
Antonio Krüger, Andreas Butz, Christian A. M&...
TCS
2011
14 years 6 months ago
Realizability models and implicit complexity
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
Ugo Dal Lago, Martin Hofmann
EDOC
2009
IEEE
15 years 3 months ago
Realizing Correspondences in Multi-viewpoint Specifications
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
José Raúl Romero, Juan Ignacio Jaen,...
SEKE
2007
Springer
15 years 5 months ago
TRAP.NET: A Realization of Transparent Shaping in .NET
We define adaptability as the capacity of software in adjusting its behavior in response to changing conditions. To list just a few examples, adaptability is important in pervasiv...
Seyed Masoud Sadjadi, Fernando Trigoso
SUTC
2010
IEEE
15 years 3 months ago
Towards the Development of an Ubiquitous Networked Robot Systems for Ambient Assisted Living
—Robotic middlewares increasingly allow the seamless integration of multiple heterogeneous robots into one distributed system. With the inclusion of ambient intelligence and perv...
Jayedur Rashid