22588 search results - page 4293 / 4518 » On simulation model complexity |
194
click to vote
VSTTE
2005
Springer
16 years 19 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
192
click to vote
SIGCOMM
2004
ACM
16 years 18 days ago
2004
ACM
Hot-potato routing is a mechanism employed when there are multiple (equally good) interdomain routes available for a given destination. In this scenario, the Border Gateway Protoc...
226
click to vote
EMSOFT
2004
Springer
16 years 17 days ago
2004
Springer
As the bandwidth of CPUs and networks continues to grow, it becomes more attractive, for efficiency reasons, to share such resources among several applications with the minimum le...
203
click to vote
GPCE
2004
Springer
16 years 16 days ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
180
click to vote
JELIA
2004
Springer
16 years 16 days ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...