942 search results - page 77 / 189 » Interrupt Timed Automata |
ECOWS
2008
Springer
13 years 10 months ago
2008
Springer
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...
FORTEST
2008
13 years 10 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...
ATVA
2010
Springer
13 years 10 months ago
2010
Springer
In this paper we study the fault codiagnosis problem for discrete event systems given by finite automata (FA) and timed systems given by timed automata (TA). We provide a uniform c...
ICDE
2007
IEEE
14 years 10 months ago
2007
IEEE
Persistence is a common requirement in many applications. In existing systems, persistence is added to an application at either compile or deployment time by using a variety of me...
SOFTWARE
2002
13 years 8 months ago
2002
Abstract. This paper presents a new approximation method for computing arguments or explanations in the context of logic-based argumentative or abductive reasoning. The algorithm c...