3424 search results - page 307 / 685 » Building Diverse Computer Systems |
191
click to vote
GRID
2010
Springer
14 years 12 months ago
2010
Springer
The Grid paradigm of accessing heterogeneous distributed resources proved to be extremely effective, as many organizations are relying on Grid middlewares for their computational ...
155
Voted
GROUP
2010
ACM
15 years 16 days ago
2010
ACM
Group recommendation, which makes recommendations to a group of users instead of individuals, has become increasingly important in both the workspace and people's social acti...
121
Voted
CIE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
102
click to vote
MIDDLEWARE
2005
Springer
15 years 8 months ago
2005
Springer
Building a distributed middleware infrastructure that provides the low latency required for massively multiplayer games while still maintaining consistency is non-trivial. Previous...
140
click to vote
FIDJI
2003
Springer
15 years 7 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...