6608 search results - page 1285 / 1322 » On the Completeness of Model Checking |
116
Voted
SIGUCCS
2003
ACM
15 years 8 months ago
2003
ACM
Working in a team environment can be either an efficient and productive means of completing projects or a nightmare where the project never seems to end. Most of us have been a pa...
122
click to vote
ASM
2003
ASM
15 years 8 months ago
2003
ASM
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
140
click to vote
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
160
click to vote
EMMCVPR
2003
Springer
15 years 8 months ago
2003
Springer
The asymptotic distribution of estimates that are based on a sub-optimal search for the maximum of the log-likelihood function is considered. In particular, estimation schemes that...
149
Voted
EPIA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...