3130 search results - page 291 / 626 » Design Correctness of Digital Systems |
152
click to vote
ICWL
2007
Springer
16 years 26 days ago
2007
Springer
AGILMAT is a web application designed to help students learn Mathematics, with focus on high-school algebra and calculus drills. A modular and extensible architecture and a wizard-...
185
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
252
click to vote
ISSE
2010
15 years 5 months ago
2010
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...
182
click to vote
CW
2008
IEEE
16 years 1 months ago
2008
IEEE
The availability of intuitive, user-friendly and specialized software to work with 3D models of cultural heritage artifacts is as important as the availability of low-cost and rob...
153
click to vote
IUI
2010
ACM
16 years 3 months ago
2010
ACM
In this paper we present a new way of translating documents by using a Web-based system. An interactive approach is proposed as an alternative to post-editing the output of a mach...