1432 search results - page 244 / 287 » Supporting self-expression for informal communication |
ICSE
2001
IEEE-ACM
15 years 3 months ago
2001
IEEE-ACM
The design of ad hoc mobile applications often requires the availability of a consistent view of the application state among the participating hosts. Such views are important beca...
102
click to vote
HICSS
2000
IEEE
15 years 3 months ago
2000
IEEE
We address the problem of message ordering for reliable multicast communication. End-to-end multicast ordering is useful for ensuring the collective integrity and consistency of d...
112
click to vote
ICECCS
1999
IEEE
15 years 3 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
71
Voted
CHI
1998
ACM
15 years 3 months ago
1998
ACM
User centered design requires the creation of numerous design artifacts such as task hierarchy, task-oriented specification, user interface design, architecture design and code. I...
89
Voted
IPPS
1997
IEEE
15 years 3 months ago
1997
IEEE
Current parallelizing compilers for message-passing machines only support a limited class of data-parallel applications. One method for eliminating this restriction is to combine ...