9 search results - page 1 / 2 » Language-based verification will change the world |
SIGSOFT
2010
ACM
12 years 11 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
COLING
2008
13 years 6 months ago
2008
Our goal is to use natural language processing to identify deceptive and nondeceptive passages in transcribed narratives. We begin by motivating an analysis of language-based dece...
DAC
1999
ACM
14 years 5 months ago
1999
ACM
IADIS
2004
13 years 6 months ago
2004
Internet has changed many aspects of our society, transforming it in e-society, and is having special importance in business world, Internet has converted business in e-business. ...
ICEGOV
2007
ACM
13 years 8 months ago
2007
ACM
Electronic Governance (e-Governance) has received a tremendous interest world over. Significant amount of money is being put into making e-Governance a reality. A number of Projec...