Sciweavers

5128 search results - page 221 / 1026
» When Abstraction Fails
Sort
View
CACM
1999
49views more  CACM 1999»
15 years 6 months ago
OO Distributed Programming is Not Distributed OO Programming
centralized abstractions. The metaphor of a community of independent objects communicating by passing messages is misleading and dangerous when thinking in terms of a distributed s...
Rachid Guerraoui, Mohamed Fayad
SAS
2010
Springer
134views Formal Methods» more  SAS 2010»
15 years 5 months ago
Strictness Meets Data Flow
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
Tom Schrijvers, Alan Mycroft
ICCS
2007
Springer
16 years 1 months ago
Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web
Abstract. Conceptual Structures is a field of research which shares abstract concepts and interests with recent work on knowledge representation for the Semantic Web. However, whi...
Sebastian Rudolph, Markus Krötzsch, Pascal Hi...
JSYML
2008
95views more  JSYML 2008»
15 years 7 months ago
Examples of non-locality
free but not Whitehead Abelian groups to construct Abstract Elementary Classes (AEC) which satisfy the amalgamation property but fail various conditions on the locality of Galois-...
John T. Baldwin, Saharon Shelah
CACM
1999
92views more  CACM 1999»
15 years 6 months ago
Putting OO Distributed Programming to Work
stractions underlying distributed computing. We attempted to keep our preaims at an abstract and general level. In this column, we make those claims more concrete. More precisely, ...
Pascal Felber, Rachid Guerraoui, Mohamed Fayad