4516 search results - page 694 / 904 » Automated System Design for Availability |
307
Voted
SPIN
2012
Springer
13 years 7 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
110
Voted
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Various sectors in developing countries are typically dominated by the presence of a large number of small and microbusinesses that operate in an informal, unorganized manner. Man...
133
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
It is extremely hard for a global organization with services over multiple channels to capture a consistent and unified view of its data, services, and interactions. While SOA and...
165
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
There are a variety of digital tools for enabling people who are physically separated by time and space to communicate and collaborate. Widespread use of some of these tools, such...
139
Voted
ICDCN
2010
Springer
15 years 11 months ago
2010
Springer
The proliferation of new modes of communication and collaboration has resulted in an explosion of digital information. To turn this challenge into an opportunity, the IT industry ...