3828 search results - page 18 / 766 » Proof-Based System Engineering Using a Virtual System Model |
WWW
2003
ACM
14 years 8 months ago
2003
ACM
This paper presents a design methodology that deals with the presentation aspects involved in the development of a Semantic Web Information System. The methodology is driven by tw...
ISSS
1996
IEEE
13 years 12 months ago
1996
IEEE
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
ECBS
1999
IEEE
14 years 16 hour ago
1999
IEEE
An information model supporting core systems engineering design data is presented. The model provides, in conjunction with STEP (ISO 10303) framework services, an infrastructure t...
TSE
2002
13 years 7 months ago
2002
The complexity of hardware/software codesign of embedded real-time signal processing systems can be reduced by rapid system prototyping (RSP). However, existing RSP frameworks do n...
EDOC
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper discusses a novel implementation of a workflow engine that supports service-based applications. The applications are defined according to the GAT model, which is an eve...