1418 search results - page 156 / 284 » The Dynamic Complexity of Formal Languages |
133
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...
129
click to vote
DALT
2006
Springer
15 years 8 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
167
Voted
UML
2005
Springer
15 years 10 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
144
click to vote
ISAAC
2003
Springer
15 years 9 months ago
2003
Springer
Given a string x and a language L, the Hamming distance of x to L is the minimum Hamming distance of x to any string in L. The edit distance of a string to a language is analogous...
174
click to vote
CLADE
2003
IEEE
15 years 10 months ago
2003
IEEE
With rapid technological advances in network infrastructure, programming languages, compatible component interfaces and so many more areas, today the computational Grid has evolve...