5863 search results - page 1094 / 1173 » On Model-Checking of P Systems |
142
Voted
TOOLS
1998
IEEE
15 years 8 months ago
1998
IEEE
We have implemented a prototype distributed system for managing and accessing a digital library of geospatial imagery over a wide-area network. The system conforms to a subset of ...
147
Voted
ICCCN
1997
IEEE
15 years 8 months ago
1997
IEEE
Rapid expansion has strained the capabilities of the Internet infrastructure. Emerging audio and video applications place further demands on already overloaded network elements, e...
129
Voted
WDAG
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We study the problem of achieving reliable communication with quiescent algorithms (i.e., algorithms that eventually stop sending messages) in asynchronous systems with p...
114
Voted
ICALP
1989
Springer
15 years 7 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
178
Voted
SOUPS
2010
ACM
15 years 7 months ago
2010
ACM
Graphical password systems based on the recognition of photographs are candidates to alleviate current over-reliance on alphanumeric passwords and PINs. However, despite being bas...