223 search results - page 45 / 45 » Object-Oriented Programming Testing Methodology |
ACSC
2003
IEEE
13 years 10 months ago
2003
IEEE
Clusters of commodity machines have become a popular way of building cheap high performance parallel computers. Many of these designs rely on standard Ethernet networks as a syste...
RTSS
1999
IEEE
13 years 9 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
ATAL
2008
Springer
13 years 7 months ago
2008
Springer
In a class of games known as Stackelberg games, one agent (the leader) must commit to a strategy that can be observed by the other agent (the follower or adversary) before the adv...