2496 search results - page 299 / 500 » Error-detecting properties of languages |
164
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
198
Voted
ENTCS
2006
15 years 6 months ago
2006
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
179
Voted
CAI
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. The concatenation product is one of the most important operations on regular languages. Its study requires sophisticated tools from algebra, ļ¬nite model theory and proļ...
171
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
194
click to vote
ESWS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Ontologies are now used within an increasing number of realworld applications. So far, signiļ¬cant eļ¬ort has been spend in building tools to support users in creating,...