2165 search results - page 323 / 433 » cases 2005 |
FATES
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
FC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Suppose Alice and Bob are two entities (e.g. agents, organizations, etc.) that wish to negotiate a contract. A contract consists of several clauses, and each party has ce...
FIMH
2005
Springer
15 years 3 months ago
2005
Springer
We describe numerical simulations of spiral waves dynamics in the computational model of human atrial tissue with the CourtemancheRamirez-Nattel local kinetics. The spiral wave was...
FORMATS
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we study timed games played on weighted timed automata. In this context, the reachability problem asks if, given a set T of locations and a cost C, Player 1 has a st...
78
Voted
FPL
2005
Springer
15 years 3 months ago
2005
Springer
Dynamically reconfigurable logic is becoming an important design unit in SoC system. A method to make the reconfiguration management transparent to software applications is requir...