1567 search results - page 174 / 314 » A Mechanized Model of the Theory of Objects |
115
click to vote
SE
2007
15 years 3 months ago
2007
Agile methodologies can be enhanced by the use of shadows as this feature because of its inherent ability to dynamically change the behavior of classes and objects, provides mecha...
AIS
2007
Springer
15 years 1 months ago
2007
Springer
Many recent developments in technological design are aimed towards the ‘humanisation’ of technology, that is, making technology behave in a way that is more ‘intuitive’, â€...
133
Voted
SODA
2010
ACM
15 years 11 months ago
2010
ACM
We consider a robust model proposed by Scarf, 1958, for stochastic optimization when only the marginal probabilities of (binary) random variables are given, and the correlation be...
110
click to vote
SOSP
2009
ACM
15 years 10 months ago
2009
ACM
Fabric is a new system and language for building secure distributed information systems. It is a decentralized system that allows heterogeneous network nodes to securely share bot...
112
click to vote
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...