Sciweavers

73 search results - page 15 / 15
» Nonmonotonic Model Inference-A Formalization of Student Mode...
Sort
View
GSEM
2004
Springer
13 years 10 months ago
The Grid-Occam Project
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...
Peter Tröger, Martin von Löwis, Andreas ...
HICSS
2008
IEEE
136views Biometrics» more  HICSS 2008»
13 years 11 months ago
The Influence of Instant Messaging Usage Behavior on Organizational Communication Satisfaction
In recent years, instant messaging (IM) has become a popular medium of online communication. While IM is expanding into the enterprise beyond personal use, it brings the convenien...
Shih-Ming Pi, Yi-Chih Liu, Tsang-Yao Chen, Shih-Hu...
FM
2006
Springer
172views Formal Methods» more  FM 2006»
13 years 8 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis