Sciweavers

1297 search results - page 155 / 260
» Semantic Correctness in Adaptive Process Management Systems
Sort
View
CHI
2007
ACM
16 years 5 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
15 years 8 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
15 years 10 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
148
Voted
DATE
2005
IEEE
119views Hardware» more  DATE 2005»
15 years 10 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
15 years 6 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