5664 search results - page 926 / 1133 » Creativity support tools |
167
click to vote
CCGRID
2001
IEEE
15 years 8 months ago
2001
IEEE
An inexpensive way to construct a scalable display wall system is to use a cluster of PCs with commodity graphics accelerators to drive an array of projectors. A challenge is to b...
136
click to vote
CCGRID
2001
IEEE
15 years 8 months ago
2001
IEEE
The Globus Data Grid architecture provides a scalable infrastructure for the management of storage resources and data that are distributed across Grid environments. These services...
138
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...
122
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...