3909 search results - page 584 / 782 » Extreme Model Checking |
158
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
The blogosphere is changing how people experience war and conflict. We conducted an analysis of 125 blogs written by Iraqi citizens experiencing extreme disruption in their countr...
121
click to vote
ICDS
2009
IEEE
16 years 1 months ago
2009
IEEE
The University of the Digital Society is based on interactions that facilitate learning in a new pragmatic context. Catalysts involved in the learning process replace the traditio...
165
click to vote
EVOW
2009
Springer
16 years 1 months ago
2009
Springer
The Learnable Evolution Model (LEM) involves alternating periods of optimization and learning, performa extremely well on a range of problems, a specialises in achieveing good resu...
159
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
The single stuck-at fault coverage is often seen as a figure-of-merit also for scan testing according to other fault models like transition faults, bridging faults, crosstalk faul...
197
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
— With the expansion of cloud-based services, the question as to how to control usage of such large distributed systems has become increasingly important. Load balancing (LB), an...