461 search results - page 61 / 93 » Bounds for Validation |
156
click to vote
DATE
2009
IEEE
16 years 20 days ago
2009
IEEE
—Distributed systems, especially time-triggered ones, are implementing clock synchronization algorithms to provide and maintain a common view of time among the different nodes. S...
179
click to vote
DATE
2009
IEEE
16 years 20 days ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
165
click to vote
GLOBECOM
2009
IEEE
16 years 20 days ago
2009
IEEE
Abstract—Wireless sensor networks (WSNs) are usually missioned to gather critical information in hostile and adversarial environments, which make them susceptible to compromise a...
165
click to vote
INFOCOM
2009
IEEE
16 years 17 days ago
2009
IEEE
—Designing an overlay network for publish/subscribe communication in a system where nodes may subscribe to many different topics of interest is of fundamental importance. For sca...
151
click to vote
ICSOC
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...