Sciweavers

12551 search results - page 2303 / 2511
» Reuse in Systems Engineering
Sort
View
DFG
2003
Springer
15 years 9 months ago
Inter-organizational Business Process Management with XML Nets
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are be...
Kirsten Lenz, Andreas Oberweis
DSVIS
2003
Springer
15 years 9 months ago
Bridging the Gap: Developing 2D and 3D User Interfaces with the IDEAS Methodology
Most user interface development methodologies have been conceived based on the experience from the development of traditional PC-based systems. However, computer and displays techn...
José Pascual Molina, Pascual Gonzále...
EGH
2003
Springer
15 years 9 months ago
The FFT on a GPU
The Fourier transform is a well known and widely used tool in many scientific and engineering fields. The Fourier transform is essential for many image processing techniques, in...
Kenneth Moreland, Edward Angel
EMSOFT
2003
Springer
15 years 9 months ago
Rate Monotonic vs. EDF: Judgment Day
Since the first results published in 1973 by Liu and Layland on the Rate Monotonic (RM) and Earliest Deadline First (EDF) algorithms, a lot of progress has been made in the schedu...
Giorgio C. Buttazzo
FM
2003
Springer
109views Formal Methods» more  FM 2003»
15 years 9 months ago
Certifying and Synthesizing Membership Equational Proofs
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
Grigore Rosu, Steven Eker, Patrick Lincoln, Jos&ea...
« Prev « First page 2303 / 2511 Last » Next »