Sciweavers

4286 search results - page 743 / 858
» Formalizing Service Interactions
Sort
View
127
Voted
VISUALIZATION
2000
IEEE
15 years 8 months ago
Isosurfacing in higher dimensions
Visualization algorithms have seen substantial improvements in the past several years. However, very few algorithms have been developed for directly studying data in dimensions hi...
Praveen Bhaniramka, Rephael Wenger, Roger Crawfis
152
Voted
ELPUB
2000
ACM
15 years 8 months ago
Changes in the Information Dissemination Process Within the Scholarly World: The Impact of Electronic Publishing on Scholarly Co
This paper describes part of the results of recent research carried out in Brazil and the UK, which investigated the perceptions by academic social scientists of the impact of ele...
Sely Maria de Souza Costa
147
Voted
ECAI
2000
Springer
15 years 8 months ago
Autosteve: Automated Electrical Design Analysis
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
Chris Price
166
Voted
CHI
1997
ACM
15 years 7 months ago
MOBI-D: A Model-Based Development Environment for User-Centered Design
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...
Angel R. Puerta, David Maulsby
140
Voted
DAC
1994
ACM
15 years 7 months ago
A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules
Current asynchronous tools are focussed mainly on the design of a single interface module. In many applications, one must design interacting interface modules that potentially comm...
Gjalt G. de Jong, Bill Lin