7047 search results - page 306 / 1410 » Focusing on Binding and Computation |
179
click to vote
TAMC
2009
Springer
16 years 1 months ago
2009
Springer
We study a new model of computation called stream checking on graph problems where a space-limited verifier has to verify a proof sequentially (i.e., it reads the proof as a strea...
202
Voted
SADFE
2007
IEEE
16 years 29 days ago
2007
IEEE
—With the rapid development and popularity of IT technology, criminals and mischievous computer users are given avenues to commit crimes and malicious activities. As forensic sci...
201
click to vote
IPPS
2005
IEEE
16 years 8 days ago
2005
IEEE
— Program code size is a critical factor in determining the manufacturing cost of many embedded systems, particularly those aimed at the extremely costconscious consumer market. ...
175
click to vote
IPPS
2005
IEEE
16 years 8 days ago
2005
IEEE
Parallel and distributed heterogeneous computing systems may operate in an environment that undergoes unpredictable changes causing certain system performance features to degrade....
162
click to vote
ITRUST
2004
Springer
16 years 2 days ago
2004
Springer
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...