Sciweavers

1885 search results - page 316 / 377
» Exploring design as a research activity
Sort
View
ICFEM
1997
Springer
15 years 4 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
ICMCS
1994
IEEE
123views Multimedia» more  ICMCS 1994»
15 years 4 months ago
Casual Collaboration
As computers are increasingly used to mediate social interaction, tools are needed not only to support direct communication, but also to create a richer social environment for the...
Judith S. Donath
ECHT
1992
15 years 4 months ago
Two Years before the Mist: Experiences with Aquanet
Aquanet is a collaborative hypertext tool that combines elements of frame-based knowledge representation and graphical presentation. In this paper, we examine the first major appl...
Catherine C. Marshall, Russell A. Rogers
SEE
1989
Springer
15 years 3 months ago
Tool Integration in Software Engineering Environments
This article presents doctoral research on tool integration within software engineering environments. Tool integration concerns the techniques used to form coalitions of tools tha...
Anthony I. Wasserman
AIRS
2009
Springer
15 years 3 months ago
Enabling Effective User Interactions in Content-Based Image Retrieval
Abstract. This paper presents an interactive content-based image retrieval framework--uInteract, for delivering a novel four-factor user interaction model visually. The four-factor...
Haiming Liu 0002, Srdan Zagorac, Victoria S. Uren,...