3828 search results - page 403 / 766 » Proof-Based System Engineering Using a Virtual System Model |
201
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Virtual Actors are at the heart of Interactive Storytelling systems and in recent years multiple approaches have been described to specify their autonomous behaviour. One well kno...
183
Voted
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
When designing computer systems, simulation tools are used to imitate a real or proposed system. Complex, dynamic systems can be simulated without the cost and time constraints in...
185
click to vote
MASCOTS
2003
15 years 8 months ago
2003
All enterprise storage systems depend on disk arrays to satisfy their capacity, reliability, and availability requirements. Performance models of disk arrays are useful in underst...
191
click to vote
ANTSW
2010
Springer
15 years 4 months ago
2010
Springer
Activator-inhibitor models have been widely used to explain several morphogenetic processes. They have also been used to engineer algorithms for computer graphics, distributed syst...
199
click to vote
AC
1999
Springer
15 years 11 months ago
1999
Springer
A widely used computational model for constructing fault-tolerant distributed applications employs atomic transactions for controlling operations on persistent objects. There has ...