3828 search results - page 34 / 766 » Proof-Based System Engineering Using a Virtual System Model |
124
click to vote
PC
1998
15 years 1 months ago
1998
The Fast Fourier Transform (FFT) plays a key role in many areas of computational science and engineering. Although most one-dimensional FFT problems canbe entirely solvedentirely ...
151
Voted
ISPASS
2007
IEEE
15 years 8 months ago
2007
IEEE
Virtualization is an essential technology in modern datacenters. Despite advantages such as security isolation, fault isolation, and environment isolation, current virtualization ...
110
click to vote
AAMAS
2010
Springer
15 years 2 months ago
2010
Springer
Holonic multiagent systems (HMAS) offers a promising software engineering approach for developing complex open software systems. However the process of building MultiAgent Systems...
99
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
130
click to vote
IASTEDSEA
2004
15 years 3 months ago
2004
Creating long-lived software systems requires a technology to build systems with good maintainability. One of the core ideas of the Model Driven Architecture (MDA) is to ease the ...