1585 search results - page 140 / 317 » A framework for computer-aided validation |
134
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
SOFIA (Safe Automatic Flight Back and Landing of Aircraft) project is a response to the challenge of developing concepts and techniques enabling the safe and automatic return to g...
106
Voted
ICDM
2007
IEEE
15 years 9 months ago
2007
IEEE
A special challenge for spatial data mining is that information is not distributed uniformly in spatial data sets. Consequently, the discovery of regional knowledge is of fundamen...
110
click to vote
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
108
Voted
APSEC
2003
IEEE
15 years 8 months ago
2003
IEEE
The interface definition of a component in a distributed system forms the contract between the component itself and its neighbouring components regarding the use of its services....
134
Voted
INFOCOM
2000
IEEE
15 years 7 months ago
2000
IEEE
—An analytical framework for modeling the performance of a single TCP session in the presence of random packet loss is presented. A Markovian approach is developed that allows us...