3113 search results - page 526 / 623 » Numerical Methods |
164
click to vote
WSC
1997
15 years 7 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...
185
click to vote
C3S2E
2010
ACM
15 years 7 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
167
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
With the increasing functionality and complexity of distributed systems, resource failures are inevitable. While numerous models and algorithms for dealing with failures exist, th...
148
click to vote
FSKD
2008
Springer
15 years 7 months ago
2008
Springer
Evaluating web services provisioning is able to reduce redundancy in search and also generates advantages to service providers who deliver valuable services. However, there exist ...
175
click to vote
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
—The proliferation of wireless systems requires that the coexistence between heterogeneous technologies be addressed. This paper presents a cognitive framework in which sensingba...