4609 search results - page 100 / 922 » Automatic Generation of Sigma-Protocols |
151
Voted
ASSETS
2006
ACM
16 years 3 days ago
2006
ACM
150
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
In today’s embedded applications a significant portion of energy is spent in the memory subsystem. Several approaches have been proposed to minimize this energy, including the u...
145
Voted
HASE
2005
IEEE
15 years 11 months ago
2005
IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
141
Voted
ISM
2005
IEEE
15 years 11 months ago
2005
IEEE
One of the ideas of ubiquitous computing is that computing resources should be embedded ubiquitously in the environment, making them available to any nearby users. Some researcher...