3828 search results - page 136 / 766 » Proof-Based System Engineering Using a Virtual System Model |
158
click to vote
AICOM
2007
15 years 5 months ago
2007
Representing the impact of external factors on the behaviour of a system is a challenge for modellers, particularly when these factors are dynamic and may change during the simulat...
131
click to vote
IJCNN
2006
IEEE
15 years 11 months ago
2006
IEEE
—In the past decade, artificial neural networks (ANNs) have been widely applied to the engineering problems with a complicated system. ANNs are becoming an important alternative ...
165
Voted
OSDI
2006
ACM
16 years 5 months ago
2006
ACM
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy...
247
click to vote
MMM
2005
Springer
15 years 10 months ago
2005
Springer
The efficient management of complex objects has become an enabling technology for modern multimedia information systems as well as for many novel database applications. Unfortunat...
206
click to vote
EUROMICRO
2003
IEEE
15 years 10 months ago
2003
IEEE
One of the typical features of distributed systems is the heterogeneity of its components (e.g. geographical spreading and different platform architectures), leading to interopera...