1018 search results - page 147 / 204 » Abstraction and Refinement in Model Checking |
112
Voted
TPHOL
1998
IEEE
15 years 4 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
121
click to vote
DBPL
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
96
Voted
HAIS
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Cooperative Coevolution is a technique in the area of Evolutionary Computation. It has been applied to many combinatorial problems with great success. This contribution p...
112
click to vote
BIRTHDAY
2007
Springer
15 years 4 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
102
Voted
ICLP
1995
Springer
15 years 4 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...