374 search results - page 15 / 75 » On Communicating Automata with Bounded Channels |
193
click to vote
CONCUR
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
145
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Interorganizational cooperation is more and more organized by the paradigm of services. Service-oriented architectures (SOA) provide a general framework for service interaction. SO...
137
click to vote
ICC
2007
IEEE
16 years 10 days ago
2007
IEEE
— In this paper we consider UWB (ultra wide band) based positioning. We derive the CRBs (Cramer Rao bound) for AOA (angle of arrival) and for hybrid method using both AOA and TOA...
158
click to vote
FM
2001
Springer
15 years 10 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
159
click to vote
LPNMR
2001
Springer
15 years 10 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...