1700 search results - page 65 / 340 » Specifying and implementing refactorings |
122
click to vote
ECAI
1998
Springer
15 years 8 months ago
1998
Springer
This paper describes SRIPPs, structured reactive image processing plans, that are tailored for the needs of autonomous service robots. SRIPPs are implemented on top of a modular, d...
135
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
We present the tool Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance). In Sycraft, a distributed fault-intolerant program is specified in terms of a set of processes and ...
190
click to vote
FORTEST
2008
15 years 5 months ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...
167
click to vote
FIW
1998
15 years 5 months ago
1998
In this paper we describe an ongoing project aimed at investigating the impact of feature interaction problems on computer telephony integration (CTI). As a representative and soph...
192
click to vote
FBT
2000
15 years 5 months ago
2000
The behavior of reactive systems can be described by their black box properties as a relation between input and output streams. More operational is the behavior's description...