Sciweavers

Share
CN
2002
102views more  CN 2002»
9 years 11 months ago
Formal methods for communication services: meeting the industry expectations
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
Falk Dietrich, Jean-Pierre Hubaux
USITS
2001
10 years 1 months ago
CSP: A Novel System Architecture for Scalable Internet and Communication Services
The boundary between the network edge and the front-end servers of the data center is blurring. Appliance vendors are flooding the market with new capabilities, while switch/route...
Hemal V. Shah, Dave B. Minturn, Annie Foong, Gary ...
DAGSTUHL
2003
10 years 1 months ago
A DSL Paradigm for Domains of Services: A Study of Communication Services
The domain of services for mobile communication terminals has long become a fast-moving target. Indeed, this domain has been affected by a continuous stream of technological advan...
Charles Consel, Laurent Réveillère
MASCOTS
2007
10 years 1 months ago
A Novel Flow Control Scheme for Best Effort Traffic in NoC Based on Source Rate Utility Maximization
—Advances in semiconductor technology, has enabled designers to put complex, massively parallel multiprocessor systems on a single chip. Network on Chip (NoC) that supports high ...
Mohammad Sadegh Talebi, Fahimeh Jafari, Ahmad Khon...
COMPSAC
2009
IEEE
10 years 4 months ago
Towards the Operational Semantics of User-Centric Communication Models
Abstract—The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation ...
Yingbo Wang, Yali Wu, Andrew A. Allen, Barbara Esp...
books