Sciweavers

67 search results - page 5 / 14
» Using Competence Systems: Adoption Barriers and Design Sugge...
Sort
View
FDL
2007
IEEE
13 years 11 months ago
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, ...
ICCS
2005
Springer
14 years 1 months ago
Two Fundamental Concepts in Skeletal Parallel Programming
We define the concepts of nesting mode and interaction mode as they arise in the description of skeletal parallel programming systems. We suggest that these new concepts encapsula...
Anne Benoit, Murray Cole
ECIS
2000
13 years 9 months ago
A Study of Requirements Negotiations in Virtual Project Teams
Recent advancements in communication systems enable the collaboration of virtual software design teams, breaking the barriers of time and distance. In this paper we address a criti...
Daniela E. Damian, Mildred L. G. Shaw, Brian R. Ga...
ENC
2004
IEEE
13 years 11 months ago
Distributed Learning in Intentional BDI Multi-Agent Systems
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competen...
Alejandro Guerra-Hernández, Amal El Fallah-...
PERSUASIVE
2009
Springer
14 years 2 months ago
Designing empathic computers: the effect of multimodal empathic feedback using animated agent
Experiencing emotional distress is the number one reason why people who are undergoing behaviour modification (e.g. quitting smoking, dieting) suffer from relapses. Providing emot...
Hien Nguyen, Judith Masthoff