Organizations are increasingly recognizing that user satisfaction with information systems is one of the most important determinants of the success of those systems. However, current satisfaction measures involve an intrusion into the users' worlds, and are frequently deemed to be too cumbersome to be justi®ed ®nancially and practically. This paper describes a methodology designed to solve this...

Humans, as social beings, are capable of employing various behavioral cues, such as gaze, speech, manual action, and body posture, in everyday communication. However, to extract finegrained interaction patterns in social contexts has been presented with methodological challenges. Cross-Recurrence Plot Quantification Analysis (CRQA) is an analysis method invented in theoretical physics and recen...

The test problem increasingly affects system design process, related costs and time to market. Requirements from VLSI/WSI manufacturers are for fast and reliable testability tools, with the possibility of their introduction in early phases of design. In this paper we describe the different abstraction levels at which testability analysis will be applied in the REQUEST Project. The global tool-s...

The effectiveness of home-based early behavioral interventions for children (2:6-4:0 years old) with autistic spectrum disorders was studied over 9-10 months. Measures of autistic severity, intellectual, educational, and adaptive behavioral functioning were taken. There was no evidence of recovery from autism. High-intensity behavioral approaches (mean 30 h/week) produced greater gains than low...

In a service-oriented world, the interaction of stateful services raises the need for formal verification of the behavioral compatibility of the services. In this thesis, we introduce a formal framework basing on Petri nets and automata for service modeling and formalize behavioral compatibility as deadlock freedom of the composition of the services. Many other research questions, like substitu...