925 search results - page 8 / 185 » Typing Component-Based Communication Systems |
152
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
This research paper presents a new system's design and development of the prescription order communication system (POCS) based on the Internet between the hospital and the ph...
IJBC
2002
15 years 5 months ago
2002
174
Voted
GPCE
2008
Springer
15 years 6 months ago
2008
Springer
Building complex component-based software architectures can lead to subtle assemblage errors. In this paper, we introduce a typesystem-based approach to avoid message handling err...
181
Voted
ASYNC
2001
IEEE
15 years 9 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
167
click to vote
APLAS
2007
ACM
15 years 9 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...