19700 search results - page 46 / 3940 » DNA-Based Computation Times |
ACPC
1999
Springer
14 years 2 months ago
1999
Springer
CSREAESA
2006
13 years 11 months ago
2006
- Triple Modular Redundancy is widely used in dependable systems design to ensure high reliability against soft errors. Conventional TMR is effective in protecting sequential circu...
SDL
2001
13 years 11 months ago
2001
The purpose of this paper is to describe how computer-aided test generation methods can benefit from the time features and extensions to MSC, SDL and TTCN which are either already ...
ICCS
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
TARK
2009
Springer
14 years 4 months ago
2009
Springer
Tennenholtz (GEB 2004) developed Program Equilibrium to model play in a finite twoplayer game where each player can base their strategy on the other player’s strategies. Tennen...