Sciweavers

5215 search results - page 973 / 1043
» Modeling User Interfaces to Workflow Information Systems
Sort
View
TSP
2010
14 years 4 months ago
Optimality of beamforming for MIMO multiple access channels via virtual representation
In this paper, we consider the optimality of beamforming for achieving the ergodic capacity of multiple-input multiple-output (MIMO) multiple access channel (MAC) via virtual repre...
Hong Wan, Rong-Rong Chen, Yingbin Liang
ICSE
2008
IEEE-ACM
15 years 10 months ago
Automatic modularity conformance checking
According to Parnas's information hiding principle and Baldwin and Clark's design rule theory, the key step to decomposing a system into modules is to determine the desi...
Sunny Huynh, Yuanfang Cai, Yuanyuan Song, Kevin J....
CSFW
2006
IEEE
15 years 3 months ago
Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies
There is a growing interest in establishing rules to regulate the privacy of citizens in the treatment of sensitive personal data such as medical and financial records. Such rule...
Michael J. May, Carl A. Gunter, Insup Lee
CHI
2009
ACM
15 years 2 months ago
Supporting content and process common ground in computer-supported teamwork
We build on our prior work with computer-supported teams performing a complex decision-making task on maps, where the distinction between content and process common ground is prop...
Gregorio Convertino, Helena M. Mentis, Mary Beth R...
FMCAD
2000
Springer
15 years 1 months ago
Monitor-Based Formal Specification of PCI
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
Kanna Shimizu, David L. Dill, Alan J. Hu