1917 search results - page 278 / 384 » Experimenting with Nonmonotonic Reasoning |
FMCAD
2008
Springer
13 years 11 months ago
2008
Springer
A message flow is a sequence of messages sent among processors during the execution of a protocol, usually illustrated with something like a message sequence chart. Protocol design...
FMCAD
2008
Springer
13 years 11 months ago
2008
Springer
Post-silicon debug is the problem of determining what's wrong when the fabricated chip of a new design behaves incorrectly. This problem now consumes over half of the overall ...
FMICS
2008
Springer
13 years 11 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
AMT
2010
Springer
13 years 11 months ago
2010
Springer
One of the major problems for search at Web scale is that the search results on the large scale data might be huge and the users have to browse to find the most relevant ones. Plus...
BCSHCI
2008
13 years 11 months ago
2008
This paper presents an exploratory study exploring the potential of audio recording as a form of sentimental memory capture. Drawing on data from four family households, we spotli...