6155 search results - page 995 / 1231 » A language for multiple models of computation |
171
click to vote
ANSS
2005
IEEE
16 years 6 days ago
2005
IEEE
When performed on a classical computer, the simulation of quantum circuits is usually an exponential job. The methodology based on Hardware Description Languages is able to isolat...
192
click to vote
CALCO
2005
Springer
16 years 3 days ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
146
click to vote
ICALP
2005
Springer
16 years 3 days ago
2005
Springer
We consider the problem of testing the commutativity of a black-box group specified by its k generators. The complexity (in terms of k) of this problem was first considered by Pa...
226
click to vote
ICTAC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Role-based access control (RBAC) is recognized as an excellent model for access control in large-scale networked applications. Formalization of RBAC in a logical approach...
141
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
We provide machine-independent characterizations of some complexity classes, over an arbitrary structure, in the model of computation proposed by L. Blum, M. Shub and S. Smale. We ...