249 search results - page 12 / 50 » P Systems with Adjoining Controlled Communication Rules |
COMPSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
he correspondence between the role abstraction in Role-based Access Control (RBAC) and the notion of organizational positions, it seems easy to construct role hierarchies. This is...
LCPC
1995
Springer
13 years 11 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
FM
1999
Springer
13 years 12 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
In this paper, we consider a multi-agent system consisting of mobile agents with second-order dynamics. The communication network is determined by a standard interaction rule based...
ICWS
2007
IEEE
13 years 9 months ago
2007
IEEE
In this paper, we study web services methods and approaches to enable real-time communication services over IP. This approach extends web services methodologies from service integ...