5863 search results - page 855 / 1173 » On Model-Checking of P Systems |
163
click to vote
VLSID
1999
IEEE
15 years 11 months ago
1999
IEEE
To minimize the time to market and cost of new sub 0.25um process technologies and products, PDF Solutions, Inc., has developed a new comprehensive approach based on the use of pr...
145
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
At the intersection of tele-robotics, computer networking, and human social interaction we have chosen to explore an area we identifyas personal tele-embodiment. At the core of th...
172
click to vote
SAS
1999
Springer
15 years 11 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
168
click to vote
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
We present an integrated secure group access control tool to support workgroups on the World-Wide Web. The system enables user authentication, encrypted communication and fine-gra...
187
click to vote
AGENTS
1998
Springer
15 years 11 months ago
1998
Springer
Certificate management infrastructure, a.k.a. PKI (Public Key Infrastructure), which issues and provides access to public key certificates to preserve the integrity of a public ke...