Sciweavers

744 search results - page 71 / 149
» Observations on the Decidability of Transitions
Sort
View
NC
2010
159views Neural Networks» more  NC 2010»
13 years 7 months ago
Automata and processes on multisets of communicating objects
Abstract. Inspired by P systems initiated by Gheorghe P˜aun, we study a computation model over a multiset of communicating objects. The objects in our model are instances of fini...
Linmin Yang, Yong Wang, Zhe Dang
RP
2010
Springer
146views Control Systems» more  RP 2010»
13 years 7 months ago
Depth Boundedness in Multiset Rewriting Systems with Name Binding
Abstract. In this paper we consider ν-MSR, a formalism that combines the two main existing approaches for multiset rewriting, namely MSR and CMRS. In ν-MSR we rewrite multisets o...
Fernando Rosa Velardo
GLOBECOM
2010
IEEE
13 years 7 months ago
Modeling and Analysis for Reactive-Decision Spectrum Handoff in Cognitive Radio Networks
This paper investigates how to characterize the effect of multiple spectrum handoff delay on the extended data delivery time of the secondary users' connections in cognitive r...
Chung-Wei Wang, Li-Chun Wang, Fumiyuki Adachi
CSE
2009
IEEE
13 years 7 months ago
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
Michele Barletta, Silvio Ranise, Luca Viganò...
DLOG
2009
13 years 7 months ago
A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics
In the current paper we study the reasoning problem for fuzzy SI (f-SI) under arbitrary continuous fuzzy operators. Our work can be seen as an extension of previous works that stud...
Giorgos Stoilos, Giorgos B. Stamou