3868 search results - page 519 / 774 » Open Systems in TLA |
183
click to vote
USENIX
2004
15 years 8 months ago
2004
Xen is an x86 virtual machine monitor produced by the University of Cambridge Computer Laboratory and released under the GNU General Public License. Performance results comparing ...
181
click to vote
WICSA
2001
15 years 8 months ago
2001
During the past decade, object-orientation (OO) has become the dominant software development methodology, accompanied by a number of modeling notations, programming languages, and...
150
click to vote
CASCON
1996
15 years 8 months ago
1996
Developing and managing applications for environments consisting of independently con gured computing systems interoperating acrossnetwork connections is of considerable interest ...
200
click to vote
SEC
1996
15 years 8 months ago
1996
This paper introduces and describes an innovative modelling approach which utilises models that are synthesised through approximate calculations of user actions and extensive repr...
157
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We resolve an open problem regarding the complexity of unweighted coalitional manipulation, namely, the complexity of Copeland -manipulation for {0, 1}. Copeland , 0 1, is an...