469 search results - page 49 / 94 » Language and library support for practical PRAM programming |
100
click to vote
HICSS
2002
IEEE
15 years 6 months ago
2002
IEEE
An application generator has resulted from the authors' efforts to improve the development of interactive database applications. The developed tool is based on a meta-base. T...
108
click to vote
LISP
2002
15 years 1 months ago
2002
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
205
click to vote
POPL
2002
ACM
16 years 1 months ago
2002
ACM
Probability distributions are useful for expressing the meanings of probabilistic languages, which support formal modeling of and reasoning about uncertainty. Probability distribu...
122
click to vote
CSFW
2008
IEEE
15 years 7 months ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
134
click to vote
MATES
2004
Springer
15 years 6 months ago
2004
Springer
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...