Sciweavers

11172 search results - page 566 / 2235
» Testing Physical Systems
Sort
View
JUCS
2006
109views more  JUCS 2006»
15 years 7 months ago
Verifying Real-Time Properties of tccp Programs
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
María Alpuente, María-del-Mar Gallar...
CHI
2004
ACM
16 years 7 months ago
The future of signs: interactive information, inexpensively!
We present an inexpensive, interactive ubiquitous computing system that supports information presentation on demand using a novel "card reading" interaction style. We�...
Aradhana Goel, Michael Higgins, Mickey McManus, Ma...
TABLETOP
2007
IEEE
16 years 1 months ago
Information Layout and Interaction on Virtual and Real Rotary Tables
Many tabletop systems have been developed, but few of them deal with the problems of visualizing and manipulating a large amount of information such as files on a tabletop that i...
Hideki Koike, Shintaro Kajiwara, Kentaro Fukuchi, ...
WOA
2001
15 years 8 months ago
From Design to Intention: Signs of a Revolution
In this paper, we identify and analyze a set of issues that are more and more influencing the characteristics of today's complex software systems, and that distinguish them f...
Franco Zambonelli
TROB
2002
97views more  TROB 2002»
15 years 6 months ago
Geometric scattering in robotic telemanipulation
In this paper, we study the interconnection of two robots, which are modeled as port-controlled Hamiltonian systems through a transmission line with time delay. There will be no an...
Stefano Stramigioli, Arjan van der Schaft, Bernhar...