4196 search results - page 574 / 840 » Supporting the development of network programs |
139
click to vote
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
160
click to vote
SDMW
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Researchers have recently begun to develop and investigate policy languages to describe trust and security requirements on the Semantic Web. Such policies will be one com...
135
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
Percolation has recently been proposed as a key component of an advanced program execution model for future generation high-end machines featuring adaptive data/code transformatio...
147
click to vote
PPOPP
2003
ACM
15 years 9 months ago
2003
ACM
InterWeave is a distributed middleware system that supports the sharing of strongly typed, pointer-rich data structures across a wide variety of hardware architectures, operating ...
153
Voted
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...