5863 search results - page 857 / 1173 » On Model-Checking of P Systems |
156
click to vote
SPW
1997
Springer
15 years 10 months ago
1997
Springer
We undertook a project to secure the distribution of medical information using Wax. This is a proprietary hypertext-based system used for information such as treatment protocols, d...
183
click to vote
ICTAI
1994
IEEE
15 years 10 months ago
1994
IEEE
A distributed problem solving approach to job shop scheduling is described in this paper. The approach views the system as an Organisation. Agents are assigned di erent roles and ...
156
click to vote
POPL
1993
ACM
15 years 10 months ago
1993
ACM
Static scoping embodies a strong encapsulation mechanism for hiding the details of program units. Yet, it does not allow the sharing of variable bindings locations across indepe...
199
click to vote
PEPM
1994
ACM
15 years 10 months ago
1994
ACM
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...
163
Voted
SC
1993
ACM
15 years 10 months ago
1993
ACM
Vienna Fortran is a machine-independent language extension of Fortran, which is based upon the Single-Program-Multiple-Data SPMD paradigm and allows the user to write programs f...