2206 search results - page 98 / 442 » Software Engineering and Modeling Education: Problems and So... |
180
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
A variational approach to finite connectivity spin-glass-like models is developed and applied to describe the structure of optimal solutions in random satisfiability problems. Our ...
160
click to vote
FOSSACS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
191
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
128
click to vote
KES
2004
Springer
15 years 11 months ago
2004
Springer
This paper1 is based on and advocates the trend in software engineering of extending the use of software patterns as means of structuring solutions to software development problems...
161
click to vote
ESEM
2007
ACM
15 years 8 months ago
2007
ACM
The quality of software measurement data affects the accuracy of project manager’s decision making using estimation or prediction models and the understanding of real project st...