Sciweavers

4616 search results - page 760 / 924
» The Communication Complexity of Correlation
Sort
View
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
16 years 19 days ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
CSCW
2004
ACM
16 years 18 days ago
The multiple views of inter-organizational authoring
Collaborative authoring is a common workplace task. Yet, despite improvements in word processors, communication software, and file sharing, many problems continue to plague co-aut...
David W. McDonald, Chunhua Weng, John H. Gennari
SIGCSE
2004
ACM
112views Education» more  SIGCSE 2004»
16 years 18 days ago
Great principles in computing curricula
The nearly three dozen core technologies of computing sit in a simple framework defined by great principles and by computing practices. The great principles are of two kinds, mech...
Peter J. Denning
SLIP
2004
ACM
16 years 17 days ago
Optical solutions for system-level interconnect
Throughput, power consumption, signal integrity, pin count and routing complexity are all increasingly important interconnect issues that the system designer must deal with. Recen...
Ian O'Connor
SPAA
2004
ACM
16 years 17 days ago
Improved combination of online algorithms for acceptance and rejection
Given two admission control algorithms that are cA-acceptcompetitive and cR-reject-competitive respectively, we give two ways to make an algorithm that is simultaneously O(cA)acce...
David P. Bunde, Yishay Mansour