14056 search results - page 2594 / 2812 » Consistency in Model Integration |
167
Voted
VSTTE
2005
Springer
16 years 2 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
165
click to vote
ASM
2004
ASM
16 years 6 hour ago
2004
ASM
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
231
click to vote
CPM
2004
Springer
16 years 1 hour ago
2004
Springer
We consider succinct, or highly space-efficient, representations of a (static) string consisting of n pairs of balanced parentheses, that support natural operations such as findi...
164
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
The prize-collecting Steiner tree problem on a graph with edge costs and vertex profits asks for a subtree minimizing the sum of the total cost of all edges in the subtree plus th...
186
click to vote
GPCE
2004
Springer
15 years 12 months ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...