2468 search results - page 448 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
144
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Incorporating probabilities into the semantics of incomplete databases has posed many challenges, forcing systems to sacrifice modeling power, scalability, or treatment of relatio...
126
click to vote
ISCA
2009
IEEE
15 years 10 months ago
2009
IEEE
As transistor density continues to grow at an exponential rate in accordance to Moore’s law, the goal for many Chip Multi-Processor (CMP) systems is to scale the number of on-ch...
123
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
Service-oriented architectures (SOA) will provide the basis of the next generation of distributed software systems, and have already gained enormous traction in the industry throu...
137
Voted
MIDDLEWARE
2004
Springer
15 years 8 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
115
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
The rapid changing business environment of high-tech asset intensive enterprises such as semiconductor manufacturing constantly drives production managers to look for better solut...