Sciweavers

1259 search results - page 207 / 252
» Use Cases, Actions, and Roles
Sort
View
ICC
2000
IEEE
111views Communications» more  ICC 2000»
15 years 6 months ago
Improving Bandwidth Utilization Based on Deterministic Delay Bound in Connection-Oriented Networks
Abstract—Packet scheduling disciplines play an important role in providing Quality of Service (QoS) guarantees to applications traffic in high speed networks. Several scheduling...
Peerapon Siripongwutikorn, Sujata Banerjee
ICPPW
2000
IEEE
15 years 6 months ago
Scheduling Multiple Multicast for Heterogeneous Network of Workstations with Non-Blocking Message-Passing
This paper proposes efficient algorithms for implementing multicast in heterogeneous workstation/PC clusters. Multicast is an important operation in many scientific and industri...
Shih-Hsien Yeh, Jan-Jan Wu, Pangfeng Liu
ISMVL
2000
IEEE
134views Hardware» more  ISMVL 2000»
15 years 6 months ago
The 2-SAT Problem of Regular Signed CNF Formulas
Signed conjunctive normal form (signed CNF) is a classical conjunctive clause form using a generalized notion of literal, called signed atom. A signed atom is an expression of the...
Bernhard Beckert, Reiner Hähnle, Felip Many&a...
ACMDIS
2000
ACM
15 years 6 months ago
Lingua Francas for Design: Sacred Places and Pattern Languages
A central challenge in interaction design has to do with its diversity. Designers, engineers, managers, marketers, researchers and users all have important contributions to make t...
Thomas Erickson
FM
1999
Springer
107views Formal Methods» more  FM 1999»
15 years 6 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...