Sciweavers

204 search results - page 11 / 41
» aim 1998
Sort
View
DEXAW
1998
IEEE
160views Database» more  DEXAW 1998»
15 years 4 months 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
15 years 4 months 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»
15 years 4 months 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
15 years 4 months 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
15 years 4 months 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...