39362 search results - page 277 / 7873 » Global Computing Systems |
155
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
150
click to vote
ICPP
2003
IEEE
15 years 9 months ago
2003
IEEE
Multi agent systems, Grid technology, Semantic Web, and Web Intelligence paradigm are three modern approaches in information technologies, which we put together in our research eff...
141
click to vote
WCRE
2007
IEEE
15 years 10 months ago
2007
IEEE
As the useful life expectancy of software continues to increase, the task of maintaining the source code has become the dominant phase of the software life-cycle. In order to impr...
116
click to vote
HT
2005
ACM
15 years 9 months ago
2005
ACM
The technical and competence requirements for writing content on the web is still one of the major factors that widens the gap between authors and readers. Although tools that sup...
170
click to vote
PERCOM
2006
ACM
16 years 3 months ago
2006
ACM
Routing in multi-hop wireless networks is typically greedy, with every connection attempting to establish a path that minimizes its number of hops. However, interference plays a m...