7139 search results - page 898 / 1428 » Language Engineering in Practice |
192
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
196
click to vote
IJWET
2010
15 years 5 months ago
2010
: After several years of research, the fundamental Semantic Web technologies have reached a high maturity level. Nevertheless, the average Web user has not yet taken advantage of t...
174
click to vote
JUCS
2010
15 years 5 months ago
2010
Abstract: Ontology rule editing, testing, debugging and validation are still handcrafted and painful tasks. Nowadays, there is a lack of tools that take these tasks into considerat...
210
click to vote
SERA
2010
Springer
15 years 5 months ago
2010
Springer
The importance of software measurement during the software development process is generally accepted, nowadays. Unfortunately, in practice common software measurement tools find s...
176
click to vote
VLSI
2010
Springer
15 years 5 months ago
2010
Springer
—Latency insensitivity is a promising design paradigm in the nanometer era since it has potential benefits of increased modularity and robustness to variations. Synchronous elas...