16725 search results - page 2607 / 3345 » Engineering Software Correctness |
201
click to vote
TOSEM
2002
15 years 7 months ago
2002
d Abstraction of Class Diagrams ALEXANDER EGYED Teknowledge Corporation Designers can easily become overwhelmed with details when dealing with large class diagrams. icle presents a...
219
click to vote
ICDAR
2009
IEEE
15 years 5 months ago
2009
IEEE
BanglaOCR is currently the only open source optical character recognition (OCR) software for the Bangla (Bengali) script developed by the Center for Research on Bangla Language Pr...
254
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
Structured Information Retrieval is gaining a lot of interest in recent years, as this kind of information is becoming an invaluable asset for professional communities such as Sof...
287
click to vote
TCAD
2010
15 years 2 months ago
2010
As contemporary VLSI designs grow in complexity, design debugging has rapidly established itself as one of the largest bottlenecks in the design cycle today. Automated debug soluti...
199
click to vote
ATAL
2011
Springer
14 years 7 months ago
2011
Springer
Recent work in communications and business modeling emphasizes a commitment-based view of interaction. By abstracting away from implementation-level details, commitments can poten...