620 search results - page 44 / 124 » Decidability Problems for Actor Systems |
PODS
2005
ACM
15 years 10 months ago
2005
ACM
Owners of sources registered in an information integration system, which provides answers to a (potentially evolving) set of client queries, need to know their contribution to the...
SIGUCCS
2000
ACM
15 years 2 months ago
2000
ACM
In order to keep on the leading edge of technology and to take advantage of new administrative features, we at University of Wyoming decided to upgrade our Windows NT 4.0 lab syst...
MP
2008
14 years 9 months ago
2008
Let A be a 0 - 1 matrix with precisely two 1's in each column and let 1 be the all-one vector. We show that the problems of deciding whether the linear system Ax 1, x 0 (1)...
ACIIDS
2009
IEEE
14 years 7 months ago
2009
IEEE
In this study, we propose a method of stability analysis for a GA-Based reference ANNC capable of handling these types of problems for a nonlinear system. The initial values of the...
104
click to vote
RP
2009
Springer
15 years 4 months ago
2009
Springer
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...