816 search results - page 100 / 164 » Automating Verification by Functional Abstraction at the Sys... |
FASE
2005
Springer
14 years 2 months ago
2005
Springer
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level func...
ISSS
1996
IEEE
14 years 1 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...
WORDS
2003
IEEE
14 years 2 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
MSS
2003
IEEE
14 years 2 months ago
2003
IEEE
The functionality that is provided by Mass Storage Systems can be implemented using data grid technology. Data grids already provide many of the required features, including a log...
CMG
2001
13 years 10 months ago
2001
Rapid advances in research and technology now allow data analysis and modeling of extremely complex systems. Methods from artificial intelligence (AI) such as Neural Networks have...