Sciweavers

643 search results - page 51 / 129
» tools 1998
Sort
View
DSVIS
1998
Springer
14 years 2 months ago
An Ontology for Task World Models
Many different task modeling methods exist. In this paper, we discuss 1) ingredients common to most task models, 2) how task modeling relates to the design of user interfaces, and ...
Martijn van Welie, Gerrit C. van der Veer, Anton E...
WIDM
1998
ACM
14 years 2 months ago
WebML: Querying the World-Wide Web for Resources and Knowledge
There is a massive increase of information available on electronic networks. This profusion of resources on the WorldWide Web gave rise to considerable interest in the research co...
Osmar R. Zaïane, Jiawei Han
TACAS
1998
Springer
115views Algorithms» more  TACAS 1998»
14 years 2 months ago
MESA: Support for Scenario-Based Design of Concurrent Systems
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
Hanêne Ben-Abdallah, Stefan Leue
DAC
1996
ACM
14 years 2 months ago
RTL Emulation: The Next Leap in System Verification
ion. Production use of text-based methodology has enabled designers to capture designs of hundreds of thousands of gates using graphic ESDA tools. Source: Data Quest (Verilog/VHDL ...
Sanjay Sawant, Paul Giordano
SCM
1998
13 years 11 months ago
Change Measurements in an SCM Process
Abstract. An SCM database contains data which can be used as input for Software Metrics. Both data for Size-Oriented Metrics, and information for ProcessOriented Metrics are availa...
Ivica Crnkovic, Per Willför