8179 search results - page 1411 / 1636 » The PRACTIONIST Development Tool |
140
click to vote
CODES
2001
IEEE
15 years 8 months ago
2001
IEEE
In this paper, we present a proposal for a UML profile called `Embedded UML'. Embedded UML represents a synthesis of various ideas in the real-time UML community, and concept...
161
click to vote
COMPSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
Regression testing has been a popular quality assurance technique. Most regression testing techniques are based on code or software design. This paper proposes a scenario-based fu...
123
click to vote
CARDIS
2000
Springer
15 years 8 months ago
2000
Springer
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...
158
click to vote
FPGA
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents a benchmark suite for evaluating a configurable computing system's infrastructure, both tools and architecture. A novel aspect of this work is the use of ...
147
click to vote
GRID
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper we report on preliminary work and architectural design carried out in the "Data Management" work package in the International Data Grid project. O...