Results 1 - 10 of 9,824

A User-friendly Web-based Interface for Automatically Theorem Provers and for Automated Generated Proofs

by P. Höfner, M. E. Müller, S. Zeissler, D- Augsburg, Copyright P. Höfner, M. E. Müller, S. Zeissler, Universität Augsburg, Peter Höfner, Martin Eric Müller, Stephan Zeissler , 2010
"... Abstract. This report describes the design, the implementation and the usage of a system for managing different systems for automated theorem proving and automatically generated proofs. In particular, we focus on a user-friendly web-based interface and a structure for collecting and cataloguing proo ..."
Abstract - Add to MetaCart
Abstract. This report describes the design, the implementation and the usage of a system for managing different systems for automated theorem proving and automatically generated proofs. In particular, we focus on a user-friendly web-based interface and a structure for collecting and cataloguing

PRESENTED AT WESTERN SIMULATION MULTICONFERENCE 1999 VIRTUAL WORLDS AND SIMULATION CONFERENCE A MULTI-USER VIRTUAL ENVIRONMENT WITH EXTENSIBLE USER-FRIENDLY WEB-BASED INTERFACES

by J. Mark Pullen, Michael H. Nah
"... multimedia interfaces Multi-User Virtual Environments (MUVEs) provide stateful environments with software objects having attributes and functions representing real-life objects in an object-oriented paradigm. The attributes of these software objects can be modified by multiple users, each stationed ..."
Abstract - Add to MetaCart
in collaborative applications. In this paper we discuss the design of DIICE from the standpoint of functions needed to enhance the MUVE for effective multimedia group communications. We have sought simple, user-friendly interfaces using a standard paradigm (the Web) to support, as far as possible, re

ME T ADB Metaphor Representation using a Relational Database System

by Michael R. Meisel , 2003
"... MetaDB is a database and user-friendly, web-based interface intended for use in cataloging, examining, and computing metaphor. MetaDB is intended to help realize the goals of the MetaNet project – namely, to catalog as many cross-cultural metaphors as possible in a complete, widely accessible, and h ..."
Abstract - Add to MetaCart
MetaDB is a database and user-friendly, web-based interface intended for use in cataloging, examining, and computing metaphor. MetaDB is intended to help realize the goals of the MetaNet project – namely, to catalog as many cross-cultural metaphors as possible in a complete, widely accessible

User-Friendly Access Control for Public Network Ports

by Guido Appenzeller , Mema Roussopoulos, Mary Baker - IN IEEE INFOCOM , 1998
"... We are facing a growing user demand for ubiquitous Internet access. As a result, network ports are becoming common in public spaces within buildings such as lounges, conference rooms and lecture halls. This introduces the problem of protecting these public ports from unauthorized use. In this pap ..."
Abstract - Cited by 30 (2 self) - Add to MetaCart
, web-based interface, offers good security, and scales to a campus-sized comm...

User-Friendly Access Control for Public Network Ports

by Guido Appenzeller Mema, Mema Roussopoulos, Mary Baker - In IEEE INFOCOM , 1999
"... We are facing a growing user demand for ubiquitous Internet access. As a result, network ports and wireless LANs are becoming common in public spaces inside buildings such as lounges, conference rooms and lecture halls. This introduces the problem of protecting networks accessible through these publ ..."
Abstract - Add to MetaCart
in minimal deployment cost and maintenance overhead. Our system has a user-friendly, web-based interfac...

Majordomo and MajorCool HOWTO

by John Archie , 2000
"... This document is intended to guide a user through an installation of the Majordomo Mailing List Software and MajorCool. MajorCool is a utility for managing Majordomo lists via a CGI script; many people who are unfamiliar with Majordomo's text−based nature prefer the more user−friendly, web−base ..."
Abstract - Add to MetaCart
This document is intended to guide a user through an installation of the Majordomo Mailing List Software and MajorCool. MajorCool is a utility for managing Majordomo lists via a CGI script; many people who are unfamiliar with Majordomo's text−based nature prefer the more user−friendly, web−based

1 User-Friendly Access Control for Public Network Ports

by Mema Roussopoulos, Mary Baker
"... Abstract—We are facing a growing user demand for ubiquitous Internet access. As a result, network ports are becoming common in public spaces within buildings such as lounges, conference rooms and lecture halls. This introduces the problem of protecting these public ports from unauthorized use. In th ..."
Abstract - Add to MetaCart
, web-based interface, offers good security, and scales to a campus-sized community. I.

Xperanto: A Web-Based Integrated System for DNA Microarray Data Management and Analysis

by Ji Yeon Park, Yu Rang Park, Chan Hee Park, Ji Hoon Kim, Ju Han Kim
"... DNA microarray is a high-throughput biomedical technology that monitors gene expression for thousands of genes in parallel. The abundance and complexity of the gene expression data have given rise to a requirement for their systematic management and analysis to support many laboratories performing m ..."
Abstract - Add to MetaCart
microarray research. On these demands, we developed Xperanto for integrated data management and analysis using user-friendly web-based interface. Xperanto provides an integrated environment for management and analysis by linking the computational tools and rich sources of biological annotation

Table of Contents

by Franco Mazzanti , 2006
"... In this report we present the prototypical UMC verification tool under development at ISTI. UMC accept a system specification given in UML-like style as a collection of active objects, modelled by state-machines, and whose behavior is described through statecharts. On such systems UMC allows to veri ..."
Abstract - Add to MetaCart
user-friendly web-based interface are presented. This web interface integrates also verification functionalities provided by the other environments (EST, FC2TOOLS) which

User-friendly interfaces for Web GIS

by Bruno Simões, Raffaele De Amicis
"... Abstract — This paper describes a geospatial information system (GIS) that can be used for several mission-critical activities, such as management of risky activities, and urban planning. The main novelty of this system, stands on the ability to analyze and present data inside a 3D media-rich geo-re ..."
Abstract - Add to MetaCart
-referenced environment. The 3D user interface suggested is based on the idea of interoperable processing units that can be directly manipulated and linked to create complex process chains; thus, freeing the operator from unnecessary information or constraints on the analytic reasoning. Additionally, users can use
Results 1 - 10 of 9,824