Search Sciweavers | Sciweavers

2219 search results - page 6 / 444

» An environment for synchronous software development

click to vote

FM
1999
Springer

161views Formal Methods» more FM 1999»

Combining Theorem Proving and Continuous Models in Synchronous Design

13 years 12 months ago

Download www.ida.liu.se

Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...

Simin Nadjm-Tehrani, Ove Åkerlund

claim paper

Read More »

click to vote

WEBNET
2001

111views Internet Technology» more WEBNET 2001»

Designing a Collaboration Environment for Teleworkers

13 years 9 months ago

Download www.rn.inf.tu-dresden.de

: Teleworking enables a more flexible scheduling of working time and places of work on the way to the modern information society. The rapid development of cooperative application s...

Iris Braun, Ulf Zschuckelt

claim paper

Read More »

click to vote

CCGRID
2001
IEEE

133views Distributed And Parallel Com...» more CCGRID 2001»

Software Environments For Cluster-Based Display Systems

13 years 11 months ago

Download www.cs.princeton.edu

An inexpensive way to construct a scalable display wall system is to use a cluster of PCs with commodity graphics accelerators to drive an array of projectors. A challenge is to b...

Han Chen, Douglas W. Clark, Zhiyan Liu, Grant Wall...

claim paper

Read More »

click to vote

ESEC
1999
Springer

98views Software Engineering» more ESEC 1999»

CHIME: A Metadata-Based Distributed Software Development Environment

13 years 12 months ago