1188 search results - page 183 / 238 » Testing Semantics: Connecting Processes and Process Logics |
137
click to vote
ICNP
2006
IEEE
15 years 9 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
143
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Fault simulation is essential in test generation, design for test and reliability assessment of integrated circuits. Reliability analysis and the simulation of self-test structure...
134
Voted
NETWORK
2008
15 years 3 months ago
2008
Although small mobile computers have processors whose capabilities are increasing, often they still are resource constrained in terms of performing many common computing tasks. Co...
196
click to vote
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
Traditional desktop search engines only support keyword based search that needs exact keyword matching to find resources. However, users generally have a vague picture of what is...
152
click to vote
EACL
2009
ACL Anthology
16 years 4 months ago
2009
ACL Anthology
Spoken Language Understanding aims at mapping a natural language spoken sentence into a semantic representation. In the last decade two main approaches have been pursued: generati...