24421 search results - page 506 / 4885 » Communicating Complex Systems |
157
click to vote
KBSE
1994
IEEE
15 years 9 months ago
1994
IEEE
Research in knowledge-based software engineering has led to advances in the ability to specify and automatically generate software. Advances in the support of upstream activities ...
149
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called a...
154
click to vote
ECRTS
2004
IEEE
15 years 8 months ago
2004
IEEE
The contribution of this paper is threefold. First, an improvement to a previously published paper on the timing analysis of Controller Area Network (CAN) in the presence of trans...
150
click to vote
HCI
2007
15 years 6 months ago
2007
Abstract. In this paper, we address the task of affect recognition from text messaging. In order to sense and interpret emotional information expressed through written language, ru...
149
click to vote
ICISC
2000
15 years 6 months ago
2000
Abstract. Electronic payment systems for wireless devices need to take into account the limited computational and storage ability of such devices. Micropayment schemes seem well su...