Sciweavers

6874 search results - page 1294 / 1375
» The future of human-computer interaction
Sort
View
TSE
1998
96views more  TSE 1998»
15 years 5 months ago
The Use of Cooperation Scenarios in the Design and Evaluation of a CSCW System
—Design and evaluation of groupware systems raise questions which do not have to be addressed in the context of single user systems. The designer has to take into account not onl...
Oliver Stiemerling, Armin B. Cremers
IFIP
2010
Springer
15 years 4 months ago
Service Migration Protocol for NFC Links
Abstract. In future ubiquitous communication environments, users expect to move freely while continuously interacting with the available applications through a variety of devices. ...
Anders Nickelsen, Miquel Martin, Hans-Peter Schwef...
LOGCOM
2010
136views more  LOGCOM 2010»
15 years 4 months ago
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
Bi-intuitionistic logic is the union of intuitionistic and dual intuitionistic logic, and was introduced by Rauszer as a Hilbert calculus with algebraic and Kripke semantics. But ...
Rajeev Goré, Linda Postniece
AR
2010
133views more  AR 2010»
15 years 4 months ago
Coordinated Control of Space Robot Teams for the On-Orbit Construction of Large Flexible Space Structures
Teams of autonomous space robots are needed for future space missions such as the construction of large solar power stations and large space telescopes in earth orbit. This work fo...
Peggy Boning, Steven Dubowsky
ICCAD
2009
IEEE
82views Hardware» more  ICCAD 2009»
15 years 3 months ago
Operating system scheduling for efficient online self-test in robust systems
Very thorough online self-test is essential for overcoming major reliability challenges such as early-life failures and transistor aging in advanced technologies. This paper demon...
Yanjing Li, Onur Mutlu, Subhasish Mitra
« Prev « First page 1294 / 1375 Last » Next »