4385 search results - page 441 / 877 » Abstraction for Concurrent Objects |
183
click to vote
OOPSLA
2005
Springer
16 years 11 days ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
174
click to vote
OOPSLA
2004
Springer
16 years 7 days ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...
213
click to vote
CONSTRAINTS
2008
15 years 7 months ago
2008
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...
197
click to vote
MEMBRANE
2009
Springer
16 years 1 months ago
2009
Springer
em is a computing model, which abstracts from the way the living cells process chemical compounds in their compartmental structure. The regions defined by a membrane structure con...
179
click to vote
MKM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about form and...