4385 search results - page 485 / 877 » Abstraction for Concurrent Objects |
161
click to vote
ESOP
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...
145
click to vote
GMP
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract. The ability to model objects composed of multiple materials has become increasingly more demanded in scientific applications. The visualization of a discrete multi-mater...
184
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract. UML class diagrams can be used as a language for expressing a conceptual model of a domain. We use the General Ontological Language (GOL) and its underlying upper level o...
197
click to vote
CPAIOR
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Logic-based Benders decomposition can combine mixed integer programming and constraint programming to solve planning and scheduling problems much faster than either metho...
193
click to vote
WFLP
2009
Springer
15 years 11 months ago
2009
Springer
Numerous computational and deductive frameworks use the notion of strategy to guide reduction and search space exploration, making the macro scale control of micro operations an ex...