Sciweavers

4250 search results - page 546 / 850
» Interactive technologies for autism
Sort
View
ATVA
2007
Springer
101views Hardware» more  ATVA 2007»
16 years 27 days ago
A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
Sophie Pinchinat
ECTEL
2007
Springer
16 years 27 days ago
The TENCompetence Personal Competence Manager
The European Network for Lifelong Competence Development is an Integrated Project funded by the EU. Its goal is to establish an innovative technical and organizational infrastructu...
Christopher Kew
EPEW
2007
Springer
16 years 27 days ago
Resource Sharing in Performance Models
In software systems, individual components interact not only through explicit function invocations, but also through implicit resource sharing. The use of shared resources signifi...
Vlastimil Babka, Martin Decký, Petr Tuma
ESWS
2007
Springer
16 years 27 days ago
An Architecture to Discover and Query Decentralized RDF Data
In this paper we describe a distributed architecture consisting of a combination of scripting tools that interact with each other in order to help to find and query decentralized ...
Uldis Bojars, Alexandre Passant, Frederick Giasson...
HUC
2007
Springer
16 years 27 days ago
"My Roomba Is Rambo": Intimate Home Appliances
Robots have entered our domestic lives, but yet, little is known about their impact on the home. This paper takes steps towards addressing this omission, by reporting results from ...
Ja-Young Sung, Lan Guo, Rebecca E. Grinter, Henrik...