342 search results - page 28 / 69 » Calling context abstraction with shapes |
SOCO
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...
TAAS
2010
14 years 6 months ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
141
click to vote
CORR
2004
Springer
14 years 11 months ago
2004
Springer
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
99
Voted
ECOOP
2007
Springer
15 years 3 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
IWIC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The long-term historical development and broad geographical variation of Chinese character (Hanzi/Kanji) has made it a crosscultural information sharing platform in East ...