4344 search results - page 498 / 869 » The resourcefulness of everyday design |
168
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
207
click to vote
DEXAW
2002
IEEE
15 years 11 months ago
2002
IEEE
We aim to encourage and support public participation in heritage through the development of Cultural Heritage Forums, a kind of cultural web portal that enables active participati...
177
click to vote
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
Shrinking process geometries and the increasing use of IP components in SoC designs give rise to new problems in routing and buffer insertion. A particular concern is that cross-c...
193
Voted
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
Prolonged secure communication requires trust relationships that extend throughout a connection’s life cycle. Current tools to establish secure connections such as SSL/TLS and S...
160
click to vote
P2P
2002
IEEE
15 years 11 months ago
2002
IEEE
In most peer-to-peer systems, edge resources self-organize into overlay networks. At the core of Freenet-style peer-to-peer systems are insert and request algorithms that dynamica...