3456 search results - page 414 / 692 » Algorithms for Interface Synthesis |
160
click to vote
ERCIM
2007
15 years 6 months ago
2007
t of view of the service itself. It is an abstracted version of the original service. An operating guideline of a service represents the possible communication behaviours of partne...
213
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Ever since the ground-breaking work of Anfinsen et al. in which a denatured protein was found to refold to its native state, it has been frequently stated by the prote...
164
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
173
click to vote
GECCO
2007
Springer
16 years 22 days ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
195
click to vote
OOPSLA
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we present the Generic Graph Component Library (GGCL), a generic programming framework for graph data structures and graph algorithms. Following the theme of the Sta...