9 search results - page 1 / 2 » Language-based verification will change the world |
80
Voted
SIGSOFT
2010
ACM
14 years 5 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...
75
Voted
COLING
2008
15 years 12 days 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
15 years 12 months ago
1999
ACM
IADIS
2004
15 years 10 days 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. ...
72
Voted
ICEGOV
2007
ACM
15 years 2 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...