234 search results - page 42 / 47 » Examples of Termination |
179
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
182
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
The interactive system which interacts human with computer has been recognized as one direction of computer development for a long time. For example, in cinema, a person gets info...
159
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Regular Tree Model Checking Ahmed Bouajjani, Peter Habermehl 1 LIAFA, University Paris 7, Case 7014, 2, place Jussieu, F-75251 Paris Cedex 05, France Adam Rogalewicz, Tom´aˇs Voj...
162
click to vote
SELMAS
2004
Springer
15 years 11 months ago
2004
Springer
If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible actions each party can take at any given time, when nego...
156
click to vote
AGTIVE
2003
Springer
15 years 11 months ago
2003
Springer
Discontinuous constituent are a frequent problem in natural language analyses. A constituent is called discontinuous if it is interrupted by other constituents. In German they can ...