Sciweavers

5675 search results - page 938 / 1135
» Formalising Performative Interaction
Sort
View
173
Voted
MOBISYS
2008
ACM
15 years 7 months ago
Chameleon: a capability adaptation system for interface virtualization
As computing capabilities of embedded devices increase, services such as Internet and multimedia are comportably supported by such devices. Users may demand for migrating services...
Sang-Bum Suh, Xiang Song, Jatin Kumar, Dushmanta M...
NSDI
2008
15 years 7 months ago
Energy-Aware Server Provisioning and Load Dispatching for Connection-Intensive Internet Services
Energy consumption in hosting Internet services is becoming a pressing issue as these services scale up. Dynamic server provisioning techniques are effective in turning off unnece...
Gong Chen, Wenbo He, Jie Liu, Suman Nath, Leonidas...
WSC
2007
15 years 7 months ago
Measuring manufacturing throughput using takt time analysis and simulation
This paper is motivated by a case study performed at a company that manufactures two main types of customized products. In an effort to significantly increase their throughput cap...
Jun Duanmu, Kevin Taaffe
136
Voted
WSC
2008
15 years 7 months ago
Simulating order fulfillment and supply planning for a vertically aligned industry solution business
We model supply chain of an industry solution equipment manufacturer, where the merchandise is sold worldwide, but suppliers are mostly located in Asia. The preferred shipment of ...
Feng Cheng, Young M. Lee, Hongwei Ding, Wei Wang, ...
AISC
2008
Springer
15 years 6 months ago
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
Lucas Dixon, Ross Duncan