34199 search results - page 319 / 6840 » Petascale Computational Systems |
188
click to vote
GG
2010
Springer
15 years 7 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
190
click to vote
COMCOM
2004
15 years 6 months ago
2004
With the advent of computational grids, networking performance over the wide-area network (WAN) has become a critical component in the grid infrastructure. Unfortunately, many hig...
199
click to vote
TCAD
1998
15 years 6 months ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
201
click to vote
HCI
2009
15 years 4 months ago
2009
Within the communication process of human beings, the speaker's facial expression and lip-shape movement contains extremely rich language information. The hearing impaired, a...
206
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
RFID systems as a whole are often treated with suspicion, but the input data received from individual RFID tags is implicitly trusted. RFID attacks are currently conceived as prop...