In the diversifying information environment, contemporary hypermedia authoring and filtering mechanisms cater to specific devices. Display-agnostic hypermedia can be flexibly and ...
Unmil Karadkar, Richard Furuta, Selen Ustun, Young...
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
The paper will describe research undertaken to investigate how children can be assisted to construct web based 3D worlds. As new technologies become an increasingly important part ...
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
Component-based software development has proven effective for systems implementation in well-understood application domains, but is still insufficient for the creation of reusable...