2485 search results - page 51 / 497 » Enabling Simulation Interoperability |
ICCAD
2000
IEEE
15 years 2 months ago
2000
IEEE
computation and automatic abstraction. Second, Ketchum performs not only automatic test generation but also unreachability analysis, which enables the test generation effort to be ...
WSC
2004
14 years 11 months ago
2004
This paper explores the application of Base Object Models (BOMs), an emerging XML standard, for rapidly composing simulations and simulation environments. We examine how pattern c...
EUROMICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—The component-based and service-oriented development have become commonly used techniques for building high quality, evolvable, large systems in a timely and affordable ...
ICALT
2009
IEEE
15 years 4 months ago
2009
IEEE
With the aim of facilitating teachers the use of good techniques in computer assisted assessment, this paper proposes the integration of rubric functionalities in an editor compli...
ISCC
2003
IEEE
15 years 3 months ago
2003
IEEE
The widespread diffusion of mobile computing along with the integration of telecommunication systems and the Internet enables a scenario where the promise of ubiquitous computing ...