4895 search results - page 407 / 979 » Tools for Grammar Engineering |
167
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
165
click to vote
ARC
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents an overview regarding the synthesis of regular expressions targeting FPGAs. It describes current solutions and a number of open issues. Implementation of regula...
240
click to vote
SEAFOOD
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. As the volumes of software development increase and the cost reduction is required, most Japanese IT companies are interested in offshore software outsourcing. Although a...
156
click to vote
SEMWEB
2007
Springer
16 years 27 days ago
2007
Springer
Ontology-based applications play an increasingly important role in the public and corporate Semantic Web. While today there exist a range of tools and technologies to support speci...
157
click to vote
AGILEDC
2006
IEEE
16 years 26 days ago
2006
IEEE
For the agile software development community, agility is defined by the values expressed in the agile manifesto. But in concrete terms, what does it mean for a software project to...