Network edge packet-processing systems, as are commonly implemented on network processor platforms, are increasingly required to support a rich set of services. These multi-servic...
Arun Raghunath, Aaron R. Kunze, Erik J. Johnson, V...
The computer support of cooperation and knowledge production across socially distributed activity systems has become an important topic in the context of the discourse on ,,knowle...
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
This paper is not a technical paper that presents a new modelbased UI technique. It is about a project that revisits modeldriven UI design techniques in the context of business pr...
Noi Sukaviriya, Santhosh Kumaran, Prabir Nandi, Te...
The Value Sensitive Design (VSD) methodology provides a comprehensive framework for advancing a value-centered research and design agenda. Although VSD provides helpful ways of th...
Christopher A. Le Dantec, Erika Shehan Poole, Susa...