5900 search results - page 326 / 1180 » Dependable Systems |
163
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
231
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
As context is acknowledged as an important factor that can affect users’ preferences, many researchers have worked on improving the quality of recommender systems by utilizing ...
186
click to vote
WETICE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Social networking web sites, which allow users to create identities and link them to friends who have also created identities, are highly popular. Systems such as Facebook and M...
163
click to vote
SBACPAD
2008
IEEE
16 years 1 months ago
2008
IEEE
Numerous studies have shown that Operating System (OS) noise is one of the reasons for significant performance degradation in clustered architectures. Although many studies exami...
179
click to vote
GLVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
Energy consumption is a major concern in embedded computing systems. Several studies have shown that cache memories account for about 40% or more of the total energy consumed in t...