Sciweavers

2357 search results - page 374 / 472
» Computing Refactorings of Behavior Models
Sort
View
EMSOFT
2006
Springer
15 years 11 months ago
Scheduling-independent threads and exceptions in SHIM
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
Olivier Tardieu, Stephen A. Edwards
255
Voted
AAMAS
2010
Springer
15 years 7 months ago
Teaching a pet-robot to understand user feedback through interactive virtual training tasks
Abstract In this paper, we present a human-robot teaching framework that uses "virtual" games as a means for adapting a robot to its user through natural interaction in a...
Anja Austermann, Seiji Yamada
SIGMOD
2002
ACM
127views Database» more  SIGMOD 2002»
15 years 7 months ago
Workflow management with service quality guarantees
Workflow management systems (WFMS) that are geared for the orchestration of business processes across multiple organizations are complex distributed systems: they consist of multi...
Michael Gillmann, Gerhard Weikum, Wolfgang Wonner
261
Voted
OIR
2011
226views Neural Networks» more  OIR 2011»
14 years 10 months ago
Understanding Knowledge Sharing in Virtual Communities: An Integration of Expectancy Disconfirmation and Justice Theories
This paper integrates expectancy disconfirmation theory and justice theory to construct a model for investigating the motivations behind people’s knowledge sharing in open profe...
Chao-Min Chiu, Eric T. G. Wang, Fu-Jong Shih, Yi-W...
DAC
2003
ACM
16 years 8 months ago
Analog and RF circuit macromodels for system-level analysis
Design and validation of mixed-signal integrated systems require evel model abstractions. Generalized Volterra series based models have been successfully applied for analog and RF...
Xin Li, Peng Li, Yang Xu, Lawrence T. Pileggi