Sciweavers

4650 search results - page 500 / 930
» Generating and evaluating evaluative arguments
Sort
View
ITSSA
2006
80views more  ITSSA 2006»
15 years 6 months ago
Self-Configuring Socio-Technical Systems: Redesign at Runtime
: Modern information systems are becoming more and more socio-technical systems, namely systems composed of human (social) agents and software (technical) systems operating togethe...
Volha Bryl, Paolo Giorgini
IWC
2006
64views more  IWC 2006»
15 years 6 months ago
Levels of automation and user participation in usability testing
This paper identifies a number of factors involved in current practices of usability testing and presents profiles for three prototype methods: think-aloud, subjective ratings, an...
Kent L. Norman, Emanuele Panizzi
JNW
2008
93views more  JNW 2008»
15 years 6 months ago
MAC Protocols for GSP in Wireless Sensor Networks
The Gossip-based Sleep Protocol (GSP) is a routing protocol designed to save energy in Wireless Sensor Networks. This work presents two MAC protocols designed to complement the cha...
Maria Calle, Joseph Kabara
JAR
2006
95views more  JAR 2006»
15 years 6 months ago
Mechanizing and Improving Dependency Pairs
The dependency pair technique [1, 11, 12] is a powerful method for automated termination and innermost termination proofs of term rewrite systems (TRSs). For any TRS, it generates ...
Jürgen Giesl, René Thiemann, Peter Sch...
JIRS
2006
131views more  JIRS 2006»
15 years 6 months ago
Inverse Kinematics of Human Arm Based on Multisensor Data Integration
The paper considers a technique for computation of the inverse kinematic model of the human arm. The approach is based on measurements of the hand position and orientation as well ...
Matjaz Mihelj