ing spatio-temporal data as abstract data types into already existing data models is a promising approach to creating spatio-temporal query languages. In this context, an importan...
Abstract Traditional computer networking courses primarily tend to provide students with hands-on software development and network performance experience with TCP/IP and Ethernet n...
User interfaces have evolved from punched cards, to text terminals, to windowing systems. As interface standards move into the third dimension, we have the opportunity to ensure t...
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
Abstract. In this paper, we propose system support for building adaptive migratory continuous media applications in distributed real-time environments. In future distributed comput...