2573 search results - page 460 / 515 » Combinations of Modal Logics |
135
click to vote
ASAP
2004
IEEE
15 years 7 months ago
2004
IEEE
Decreasing feature sizes allow additional functionality to be added to future microprocessors to improve the performance of important application domains. As a result of rapid gro...
134
click to vote
ATVA
2004
Springer
15 years 7 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
146
click to vote
BROADNETS
2004
IEEE
15 years 7 months ago
2004
IEEE
Multi-homed, mobile wireless computing and communication devices can spontaneously form communities to logically combine and share the bandwidth of each other's wide-area com...
159
click to vote
APSCC
2006
IEEE
15 years 7 months ago
2006
IEEE
Service-Oriented Architecture (SOA) plays an important role in the next generation computing models for scientific and commercial applications. But difficulties in the development...
118
click to vote
ARCS
2006
Springer
15 years 7 months ago
2006
Springer
: Given is the following "creature's exploration problem": n creatures are moving around in an unknown environment in order to visit all cells in shortest time. This...