1021 search results - page 164 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
ICFEM
2003
Springer
15 years 4 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
OOPSLA
2005
Springer
15 years 4 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
101
click to vote
PLILP
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
76
Voted
COMPSAC
2004
IEEE
15 years 2 months ago
2004
IEEE
While meta-heuristics are effective for solving large-scale combinatorial optimization problems, they result from time-consuming trial-and-error algorithm design tailored to speci...
101
click to vote
BPM
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. The coordination of complex process structures is a fundamental task for enterprises, such as in the automotive industry. Usually, such process structures consist of seve...