The information field continues to evolve rapidly as digital technology changes the very
nature of information and how people interact with each other and with information. This …

The National Science Foundation funded the first Coordination Theory and Collaboration
Technology initiative to look at systems that support collaborations in business and …

In this paper, we present an approach for modeling an existing web application using
communicating finite automata model based on the user-defined properties to be validated …

The enforcement of navigation constraints in web applications is challenging and error
prone due to the unrestricted use of navigation functions in web browsers. This often leads …

Hypermedia applications tend to use simple representations for navigation: most commonly,
nodes are organized within an unconstrained graph, and users are presented with …

This paper describes a model-checking approach for adventure games focusing on〈 e-
Adventure〉, a platform for the development of adaptive educational adventure videogames …

The use of scripting languages to build web applications has increased programmer
productivity, but at the cost of degrading dependability. In this paper we focus on a class of …

The Transparent Video Facetop is a novel user interface concept that supports not only
single-user interactions with a PC, but also close pair collaborations, such as that found in …

We present an approach to automatic checking of the correctness of Web applications
structure during their lifecycle. The approach adopts the well-established symbolic model …

Abstract Representational State Transfer (REST), as an architectural style for distributed
hyper-media systems, enables scalable operation of the World Wide Web and is the …