3016 search results - page 351 / 604 » Biochemically-Inspired Emergent Computation |
167
click to vote
ICPP
2005
IEEE
16 years 5 days ago
2005
IEEE
In recent years integrating multiprocessors in a single chip is emerging for supporting various scientific and commercial applications, with diverse demands to the underlying on-c...
151
click to vote
ISCAS
2005
IEEE
16 years 4 days ago
2005
IEEE
Abstract— The wireless sensor network is an emerging technology that may greatly facilitate human life by providing ubiquitous sensing, computing, and communication capability. H...
160
click to vote
ISCC
2005
IEEE
16 years 4 days ago
2005
IEEE
— The main characterisrics of ad hoc networks are the lack of predefined infrastructure and the dynamic topology. These characteristics present some new security vulnerabilities...
178
click to vote
ISORC
2005
IEEE
16 years 4 days ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
150
click to vote
VLSID
2005
IEEE
2005
IEEE
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model
16 years 4 days ago
One of the emerging challenges in formal property verification (FPV) technology is the problem of deciding whether sufficient properties have been written to cover the design in...