1255 search results - page 118 / 251 » A Proof Environment for the Development of Group Communicati... |
CHI
2008
ACM
14 years 9 months ago
2008
ACM
We present LiveRAC, a visualization system that supports the analysis of large collections of system management timeseries data consisting of hundreds of parameters across thousan...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
UPC’s implicit communication and fine-grain programming style make application performance modeling a challenging task. The correspondence between remote references and communi...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
CSCW
2011
ACM
13 years 4 months ago
2011
ACM
The Technology for Emerging Markets (TEM) group at Microsoft Research India seeks to address the needs and aspirations of people in the world's developing communities. Our re...
DIM
2005
ACM
13 years 11 months ago
2005
ACM
We develop solutions for the security and privacy of user identity information in a federation. By federation we mean a group of organizations or service providers which have buil...