Sciweavers

1522 search results - page 29 / 305
» Supporting Dynamic Process Specifications Using Communicatio...
Sort
View
WSC
1997
13 years 8 months ago
Automating the Metamodeling Process
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...
Don Caughlin
DATE
2007
IEEE
110views Hardware» more  DATE 2007»
14 years 1 months ago
Reconfigurable system-on-chip data processing units for space imaging instruments
Individual Data Processing Units (DPUs) are commonly used for operational control and specific data processing of scientific space instruments. To overcome the limitations of trad...
Björn Fiethe, Harald Michalik, C. Dierker, Bj...
WEBNET
1998
13 years 8 months ago
Intelligent Knowledge Gathering and Management as New Ways of an Improved Learning Process
: This paper gives a short description of a working prototype of an intelligent background knowledge broker as an enhancement module of the Web base training system GENTLE [Maurer ...
Thomas Dietinger, Christian Gütl, Hermann A. ...
ICFEM
1998
Springer
13 years 11 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz
APSEC
2004
IEEE
13 years 11 months ago
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
Yuting Chen, Shaoying Liu