1288 search results - page 237 / 258 » On Analysis of Design Component Contracts: A Case Study |
130
click to vote
ERLANG
2007
ACM
15 years 5 months ago
2007
ACM
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...
147
click to vote
AVI
2010
15 years 2 months ago
2010
Content classification performed by end users is spreading through the web. Most of the work done so far is related to the hypermedia web. In spite of that, there is a growing mas...
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Motivated by an application in computational topology, we consider a novel variant of the problem of efficiently maintaining dynamic rooted trees. This variant allows an operation...
118
click to vote
IEEEVAST
2010
14 years 8 months ago
2010
Text visualization becomes an increasingly more important research topic as the need to understand massive-scale textual information is proven to be imperative for many people and...
248
click to vote
SPIN
2012
Springer
13 years 3 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...