4356 search results - page 351 / 872 » Communicating Transactions - (Extended Abstract) |
183
click to vote
ITA
2007
15 years 6 months ago
2007
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...
192
click to vote
JCM
2007
15 years 6 months ago
2007
Abstract—The predicted capacity gain of a traditional colocated MIMO system is often severely limited in realistic propagation scenarios, especially when the number of antennas b...
164
click to vote
JSAC
2007
15 years 6 months ago
2007
Abstract— This paper considers an orthogonal amplify-andforward (OAF) protocol for cooperative relay communication over Rayleigh-fading channels in which the intermediate relays ...
182
click to vote
INFORMATICALT
2000
15 years 6 months ago
2000
Abstract. One of the problem in business process reengineering is the identification and implementation of new workflow procedures for specific business processes, if they are not ...
142
click to vote
FUIN
2002
15 years 6 months ago
2002
Abstract. The aim of this paper is to show how the P systems with replicated rewriting can be modeled by X-machines (also called Eilenberg machines). In the first approach, the par...