Sciweavers

11168 search results - page 320 / 2234
» Abstract State Processes
Sort
View
B
2007
Springer
15 years 11 months ago
Security Policy Enforcement Through Refinement Process
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
Nicolas Stouls, Marie-Laure Potet
NC
2010
159views Neural Networks» more  NC 2010»
15 years 5 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
TSMC
2011
289views more  TSMC 2011»
15 years 1 months ago
Formalizing Functional Flow Block Diagrams Using Process Algebra and Metamodels
Abstract—Functional flow block diagrams (FFBDs) are a traditional tool of systems engineering and remain popular in some systems engineering domains. However, their lack of form...
Allan I. McInnes, Brandon K. Eames, Russell J. Gro...
DCC
2005
IEEE
16 years 6 months ago
On the Entropy Rate of Pattern Processes
Abstract--We study the entropy rate of pattern sequences of stochastic processes, and its relationship to the entropy rate of the original process. We give a complete characterizat...
George M. Gemelos, Tsachy Weissman
CAISE
2003
Springer
16 years 14 days ago
A Value-Oriented Approach to E-business Process Design
Abstract. Innovative e-commerce ideas have often floundered on an inadequate analysis of the expenses and benefits of the idea and an inadequate integration of the required e-bus...
Jaap Gordijn, Roel Wieringa