Sciweavers

35 search results - page 2 / 7
» Component coordination: a telecommunication case study
Sort
View
TPHOL
1998
IEEE
13 years 9 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
ICSE
2009
IEEE-ACM
14 years 3 days ago
Does distributed development affect software quality? An empirical case study of Windows Vista
It is widely believed that distributed software development is riskier and more challenging than collocated development. Prior literature on distributed development in software en...
Christian Bird, Nachiappan Nagappan, Premkumar T. ...
ECSCW
2001
13 years 6 months ago
Cognitive properties of a whiteboard: A case study in a trauma centre
Distributed cognition as an approach to collaborative work holds that a work unit is cognitive system in which cognitive activities are carried out jointly by workers with the use ...
Yan Xiao, Caterina Lasome, Jacqueline A. Moss, Col...
EOR
2008
100views more  EOR 2008»
13 years 5 months ago
Coordination of stocking decisions in an assemble-to-order environment
In this paper we study an assemble-to-order environment involving a short-life-cycle product. The product is sold in two different configurations, each requiring a unique componen...
Xiaohong Zhang, Jihong Ou, Stephen M. Gilbert
MSS
2000
IEEE
72views Hardware» more  MSS 2000»
13 years 9 months ago
The InTENsity PowerWall: A Case Study for a Shared File System Testing Framework
The InTENsity PowerWall is a display system used for high-resolution visualization of very large volumetric data sets. The display is linked to two separate computing environments...
Alex W. Elder, Thomas Ruwart, Benjamin D. Allen, A...