Sciweavers

4421 search results - page 336 / 885
» Libraries
Sort
View
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
15 years 12 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
JCDL
2004
ACM
127views Education» more  JCDL 2004»
15 years 11 months ago
Collection understanding
Collection understanding shifts the traditional focus of retrieval in large collections from locating specific artifacts to gaining a comprehensive view of the collection. Visuali...
Michelle Chang, John J. Leggett, Richard Furuta, A...
UIST
2004
ACM
15 years 11 months ago
Revisiting visual interface programming: creating GUI tools for designers and programmers
Involving graphic designers in the large-scale development of user interfaces requires tools that provide more graphical flexibility and support efficient software processes. Th...
Stéphane Chatty, Stéphane Sire, Jean...
WIDM
2004
ACM
15 years 11 months ago
User evaluation of the NASA technical report server recommendation service
We present the user evaluation of two recommendation server methodologies implemented for the NASA Technical Report Server (NTRS). One methodology for generating recommendations u...
Michael L. Nelson, Johan Bollen, JoAnne R. Calhoun...
AFP
2004
Springer
128views Formal Methods» more  AFP 2004»
15 years 11 months ago
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...