Sciweavers

204 search results - page 11 / 41
» aim 1998
Sort
View
DEXAW
1998
IEEE
160views Database» more  DEXAW 1998»
14 years 27 days ago
Coordination in Message-Based Environments: Restructuring Internet E-Mail to Accomplish Tasks
In this paper we consider e-mail as a task management tool. Our general goal is to restructure the domain of e-mail. The purpose is to make e-mail even more suitable for messageba...
Juha Takkinen, Nahid Shahmehri
EUROMICRO
1998
IEEE
14 years 27 days ago
Design Correctness of Digital Systems
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
Corrie Huijs
GLVLSI
1998
IEEE
169views VLSI» more  GLVLSI 1998»
14 years 27 days ago
On the Characterization of Multi-Point Nets in Electronic Designs
Important layout properties of electronic designs include interconnection length values, clock speed, area requirements, and power dissipation. A reliable estimation of those prop...
Dirk Stroobandt, Fadi J. Kurdahi
ICCCN
1998
IEEE
14 years 27 days ago
Wavelength Assignment for Dynamic Traffic in Multi-fiber WDM Networks
Wepropose an on-line wavelength assignment algorithm for multi-jiber WDM networks, in which lightpaths are established and released dynamically. For a given number of jibers per l...
Xijun Zhang, Chunming Qiao
ICDCS
1998
IEEE
14 years 27 days ago
A Language for Specifying the Composition of Reliable Distributed Applications
This paper describes the design of a scripting language aimed at expressing task (unit of computation) composition and inter-task dependencies of distributed applications whose ex...
Frédéric Ranno, Santosh K. Shrivasta...