Sciweavers

1297 search results - page 155 / 260
» Semantic Correctness in Adaptive Process Management Systems
Sort
View
CHI
2007
ACM
14 years 9 months ago
Studying activity patterns in CSCW
We study small distributed work groups capturing, managing, and reusing knowledge in a collaborative activity. We conceive this process as adaptation of a group to an activity and...
Gregorio Convertino, Thomas P. Moran, Barton A. Sm...
ASWSD
2006
Springer
14 years 1 months ago
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...
Madhukar Anand, Sebastian Fischmeister, Jesung Kim...
SAC
2003
ACM
14 years 2 months ago
Validation of Code-Improving Transformations for Embedded Systems
Programmers of embedded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many...
Robert van Engelen, David B. Whalley, Xin Yuan
DATE
2005
IEEE
119views Hardware» more  DATE 2005»
14 years 2 months ago
Functional Validation of System Level Static Scheduling
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...
Samar Abdi, Daniel D. Gajski
EMNLP
2008
13 years 10 months ago
A Casual Conversation System Using Modality and Word Associations Retrieved from the Web
In this paper we present a textual dialogue system that uses word associations retrieved from the Web to create propositions. We also show experiment results for the role of modal...
Shinsuke Higuchi, Rafal Rzepka, Kenji Araki