We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
Abstract. Accessibility is becoming more and more relevant in Information technologies, such as the Web and software applications, particularly due to the push on legislation to ma...
Agents and services are two concepts that more and more are integrating and exploiting the advantages of each other. Agent-oriented methodologies effectively support the developme...
This paper presents findings from two research projects that entail needs assessments, benchmarking, and onsite diagnostics of anchor institutions in support of multi-million doll...
Lauren H. Mandel, Nicole D. Alemanne, Charles R. M...
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...