440 search results - page 59 / 88 » A Temporal Calculus of Communicating Systems |
CODES
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...
CL
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
HICSS
2008
IEEE
14 years 1 months ago
2008
IEEE
Global Virtual Teams (GVTs) – teams with geographically and temporally dispersed members who heavily rely on computer-mediated communications (CMC) – face significant collabor...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—A large part of a modern SOC’s debug complexity resides in the interaction between the main system components. ion-level debug moves the abstraction level of the debug process...
WICOMM
2008
13 years 7 months ago
2008
Multi-Carrier Code Division Multiple Access (MC-CDMA) is a modulation scheme that combines the advantages of OFDM and CDMA to provide robustness against frequency selectivity in w...