Sciweavers

7139 search results - page 1095 / 1428
» Language Engineering in Practice
Sort
View
173
Voted
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
16 years 2 days ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler
ISORC
2003
IEEE
16 years 2 days ago
Design of SMIL Browser Functionality in Mobile Terminals
SMIL is a markup language which enables us to describe multimedia contents. This paper proposes a design model of SMIL browser functionality for mobile terminals whose resources a...
Satoshi Hieda, Yoshinori Saida, Hiroshi Chishima, ...
ISSRE
2003
IEEE
16 years 2 days ago
Requirements by Contracts allow Automated System Testing
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
Clémentine Nebut, Franck Fleurey, Yves Le T...
171
Voted
STEP
2003
IEEE
16 years 1 days ago
Improvement of Test Data by Measuring SQL Statement Coverage
Many software applications produced today have a component, of lesser or greater importance to the structure, that is based on database management systems. What is more, this infor...
María José Suárez Cabal, Javi...
SIGIR
2003
ACM
16 years 1 days ago
Generating hierarchical summaries for web searches
Hierarchies provide a means of organizing, summarizing and accessing information. We describe a method for automatically generating hierarchies from small collections of text, and...
Dawn J. Lawrie, W. Bruce Croft
« Prev « First page 1095 / 1428 Last » Next »