The large amount of information that is spread over the Internet is an important resource for all people but also introduces some issues that must be faced. The dynamism and the un...
Sonia Bergamaschi, Giacomo Cabri, Francesco Guerra...
Open hypermedia systems provide a decoupled approach to structural computing. This entails that the architecture of the systems are made up of user agents that communicate with di...
In software construction, analysis investigates the boundary of a system (scope and requirements), its usage and access, and from a security perspective, who needs access to what ...
Thuong Doan, Steven A. Demurjian, Charles E. Phill...
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
The wide availability of broadband networking technologies such as cable modems and DSL coupled with the growing popularity of the Internet has led to a dramatic increase in the a...