5668 search results - page 875 / 1134 » The case for software evolution |
145
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
134
click to vote
ISSRE
2007
IEEE
15 years 6 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
141
Voted
ISEMANTICS
2010
15 years 6 months ago
2010
We present the STEX system, a semantic extension of LATEX, that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc docu...
137
click to vote
SIMUTOOLS
2008
15 years 6 months ago
2008
In this paper we present a methodology for the evaluation of networked systems communicating using WLAN technology. We show a case study of goal-oriented cooperating robots, for w...
179
click to vote
WOTUG
2008
15 years 6 months ago
2008
Most motion control systems for mechatronic systems are implemented on digital computers. In this paper we present an FPGA based solution implemented on a low cost Xilinx Spartan I...