4350 search results - page 105 / 870 » Case studies for contract-based systems |
INFOVIS
2002
IEEE
14 years 3 months ago
2002
IEEE
We describe a visualization tool which allows a biologist to explore a large set of hypothetical evolutionary trees. Interacting with such a dataset allows the biologist to identi...
VISUALIZATION
2002
IEEE
14 years 3 months ago
2002
IEEE
For most of the time, we enjoy and appreciate music performances as they are. Once we try to understand the performance not in subjective terms but in an objective way and share i...
EUROMICRO
2000
IEEE
14 years 2 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
HICSS
2000
IEEE
14 years 2 months ago
2000
IEEE
User interfaces (Uis) for client-server-and Web-based products and services must enable users around the world to access complex data and functions. Solutions to successful user-i...
IWANN
1999
Springer
14 years 2 months ago
1999
Springer
This paper describes the use of Simple HTML Ontology Extensions (SHOE) in a real world internet application. SHOE allows authors to add semantic content to web pages and to relate...